Wed, 13 Nov 2019 19:20:12 UTC

Information for package Agda

NameAgda
ID14288
Builds
Page:
1 through 50 of 65 >>>
NVR Built by Finished descending sort State
Agda-2.6.0.1-19.fc31 petersen 2019-08-06 12:52:25 complete
Agda-2.5.4.2-18.fc31 releng 2019-07-25 15:37:13 complete
Agda-2.5.4.2-17.fc30 petersen 2019-02-28 13:50:21 complete
Agda-2.5.3-15.fc30 petersen 2019-02-02 14:33:57 complete
Agda-2.5.3-14.fc29 petersen 2018-07-31 13:42:52 complete
Agda-2.5.3-13.fc29 releng 2018-07-13 00:48:56 complete
Agda-2.5.3-12.fc28 releng 2018-02-07 07:35:28 complete
Agda-2.5.3-11.fc28 petersen 2018-01-27 21:48:47 complete
Agda-2.5.2-10.fc28 petersen 2017-12-26 16:20:54 complete
Agda-2.5.2-9.fc27 petersen 2017-11-15 17:09:33 complete
Agda-2.5.2-9.fc28 petersen 2017-11-15 10:07:09 deleted
Agda-2.5.2-8.fc27 petersen 2017-11-13 14:28:28 deleted
Agda-2.5.2-8.fc28 petersen 2017-11-10 19:08:05 complete
Agda-2.5.2-7.fc27.1 ausil 2017-08-03 04:17:08 complete
Agda-2.5.2-6.fc27.1 releng 2017-07-26 11:40:22 complete
Agda-2.5.2-5.fc26.1 petersen 2017-03-13 06:57:33 complete
Agda-2.5.2-5.fc26 petersen 2017-03-12 18:15:14 deleted
Agda-2.5.2-5.fc27 petersen 2017-03-12 11:18:38 complete
Agda-2.5.2-4.fc26 petersen 2017-03-10 19:05:22 deleted
Agda-2.5.2-4.fc27 petersen 2017-03-10 15:15:01 complete
Agda-2.4.2.5-3.fc26 releng 2017-02-10 08:01:03 complete
Agda-2.3.2.2-5.el7 petersen 2016-12-15 09:17:48 complete
Agda-2.3.2.2-4.el7 petersen 2016-12-01 09:33:19 complete
Agda-2.4.2.5-1.fc25 petersen 2016-10-07 08:17:55 complete
Agda-2.4.2.5-1.fc26 petersen 2016-10-07 07:21:59 complete
Agda-2.4.2.2-6.fc24 releng 2016-02-03 16:09:38 complete
Agda-2.4.2.2-5.fc23 petersen 2015-07-23 06:48:38 complete
Agda-2.4.2.2-5.fc24 petersen 2015-07-22 07:22:13 complete
Agda-2.4.2.2-4.fc23 ausil 2015-06-16 23:34:30 complete
Agda-2.4.2.2-3.fc22 petersen 2015-04-20 01:03:21 complete
Agda-2.4.2.2-3.fc23 petersen 2015-04-17 05:03:30 complete
Agda-2.4.2.2-2.fc23 petersen 2015-04-16 09:37:05 deleted
Agda-2.4.2.2-1.fc23 petersen 2015-04-03 13:30:39 deleted
Agda-2.4.2-1.fc22 petersen 2015-02-06 20:49:29 failed
Agda-2.3.2.2-5.fc21 pbrobinson 2014-08-16 17:07:20 complete
Agda-2.3.2.2-5.fc22 pbrobinson 2014-08-16 15:55:31 complete
Agda-2.3.2.2-4.fc21 ausil 2014-06-06 22:51:24 complete
Agda-2.3.2.2-3.el7 petersen 2014-04-22 03:28:22 complete
Agda-2.3.2.2-3.fc21 petersen 2014-04-22 02:16:16 complete
Agda-2.3.2.2-2.el7 petersen 2014-04-22 01:21:12 failed
Agda-2.3.2.2-2.fc20 petersen 2014-01-22 02:54:41 complete
Agda-2.3.2.2-2.fc21 petersen 2014-01-22 02:13:25 complete
Agda-2.3.2.2-1.fc20 petersen 2014-01-15 06:21:09 deleted
Agda-2.3.2.2-1.fc21 petersen 2013-10-31 10:00:43 deleted
Agda-2.3.2.1-5.fc20 petersen 2013-09-02 04:50:32 complete
Agda-2.3.2.1-5.fc19 petersen 2013-09-02 04:49:26 complete
Agda-2.3.2.1-5.fc21 petersen 2013-09-02 04:12:33 deleted
Agda-2.3.2.1-4.fc19 petersen 2013-08-29 10:36:36 deleted
Agda-2.3.2.1-4.fc20 petersen 2013-08-29 09:54:35 deleted
Agda-2.3.2.1-4.fc21 petersen 2013-08-29 06:31:23 deleted
Tags
1 through 38 of 38
Name Owner Included? Extra Arches ascending sort
trashcan releng yes
dist-f15 petersen yes
f18 petersen yes
f18-Alpha petersen yes
dist-f15-eol petersen yes
f18-Beta petersen yes
f18-final petersen yes
epel7 releng yes
f21-beta petersen yes
f22-Alpha petersen yes
f22-Beta petersen yes
f24 petersen yes
f23_Alpha petersen yes
f23_Beta petersen yes
f25 releng yes
f24-Alpha petersen yes
f24-Beta petersen yes
f24-docker petersen yes
f26 releng yes
f25-Alpha petersen yes
f25-Beta petersen yes
f25-docker petersen yes
f26-docker petersen yes
module-package-list releng yes
f27 releng yes
f26-Alpha petersen yes
f26-Beta petersen yes
f28 releng yes
f27-Beta releng yes
module-bootstrap-f27 releng yes
f29 releng yes
f28-Beta releng yes
f30 releng yes
f29-Beta releng yes
f31 releng yes
f30-Beta releng yes
f32 releng yes
f31-Beta releng yes