Thu, 21 Nov 2019 19:12:59 UTC

Information for package Agda

NameAgda
ID14288
Builds
Page:
1 through 50 of 65 >>>
NVR Built by Finished State ascending sort
Agda-2.3.2.2-5.fc22 pbrobinson 2014-08-16 15:55:31 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-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-5.fc26.1 petersen 2017-03-13 06:57:33 complete
Agda-2.4.2.5-3.fc26 releng 2017-02-10 08:01:03 complete
Agda-2.4.2.5-1.fc25 petersen 2016-10-07 08:17:55 complete
Agda-2.4.2.2-5.fc23 petersen 2015-07-23 06:48:38 complete
Agda-2.3.2.2-3.fc21 petersen 2014-04-22 02:16:16 complete
Agda-2.3.0.1-1.fc17 petersen 2012-07-15 07:50:41 complete
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-11.fc28 petersen 2018-01-27 21:48:47 complete
Agda-2.5.2-6.fc27.1 releng 2017-07-26 11:40:22 complete
Agda-2.5.2-5.fc27 petersen 2017-03-12 11:18:38 complete
Agda-2.5.2-4.fc27 petersen 2017-03-10 15:15:01 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.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.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.3.0.1-2.fc18 ausil 2012-07-18 13:40:02 complete
Agda-2.3.0.1-1.fc16 petersen 2012-07-15 07:58:04 complete
Agda-2.3.0.1-6.fc19 ausil 2013-02-13 15:09:16 complete
Agda-2.3.0.1-4.fc18 petersen 2012-12-13 06:28:59 complete
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.2-4.fc21 ausil 2014-06-06 22:51:24 complete
Agda-2.3.2.2-2.fc21 petersen 2014-01-22 02:13:25 complete
Agda-2.3.2.2-2.fc20 petersen 2014-01-22 02:54:41 complete
Agda-2.3.2.2-3.el7 petersen 2014-04-22 03:28:22 complete
Agda-2.3.2.2-5.fc21 pbrobinson 2014-08-16 17:07:20 complete
Agda-2.5.3-12.fc28 releng 2018-02-07 07:35:28 complete
Agda-2.3.0.1-5.fc19 petersen 2012-12-25 05:53:10 deleted
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.3.2.1-1.fc19 petersen 2013-08-20 03:46:15 deleted
Agda-2.3.0.1-3.fc19 petersen 2012-11-20 09:47:17 deleted
Agda-2.3.2.2-1.fc20 petersen 2014-01-15 06:21:09 deleted
Agda-2.5.2-4.fc26 petersen 2017-03-10 19:05:22 deleted
Agda-2.5.2-5.fc26 petersen 2017-03-12 18:15:14 deleted
Agda-2.3.2.1-1.fc20 petersen 2013-06-21 07:04:38 deleted
Builds 1 through 50 of 65 >>>
Tags
1 through 38 of 38
Name ascending sort Owner Included? Extra Arches
dist-f15 petersen yes
dist-f15-eol petersen yes
epel7 releng yes
f18 petersen yes
f18-Alpha petersen yes
f18-Beta petersen yes
f18-final petersen yes
f21-beta petersen yes
f22-Alpha petersen yes
f22-Beta petersen yes
f23_Alpha petersen yes
f23_Beta petersen yes
f24 petersen yes
f24-Alpha petersen yes
f24-Beta petersen yes
f24-docker petersen yes
f25 releng yes
f25-Alpha petersen yes
f25-Beta petersen yes
f25-docker petersen yes
f26 releng yes
f26-Alpha petersen yes
f26-Beta petersen yes
f26-docker petersen yes
f27 releng yes
f27-Beta releng yes
f28 releng yes
f28-Beta releng yes
f29 releng yes
f29-Beta releng yes
f30 releng yes
f30-Beta releng yes
f31 releng yes
f31-Beta releng yes
f32 releng yes
module-bootstrap-f27 releng yes
module-package-list releng yes
trashcan releng yes
Tags 1 through 38 of 38