Mon, 16 Sep 2019 00:45:36 UTC

Information for package Agda-stdlib

NameAgda-stdlib
ID17970
Builds
1 through 31 of 31
NVR Built by Finished descending sort State
Agda-stdlib-1.1-1.fc31 petersen 2019-08-20 21:23:57 complete
Agda-stdlib-1.1-1.fc32 petersen 2019-08-17 10:41:36 complete
Agda-stdlib-0.17-2.fc31 releng 2019-07-24 18:32:58 complete
Agda-stdlib-0.17-1.fc30 petersen 2019-02-28 15:06:00 complete
Agda-stdlib-0.15-5.fc30 releng 2019-01-31 11:56:58 complete
Agda-stdlib-0.15-4.fc28 petersen 2018-08-29 04:51:39 complete
Agda-stdlib-0.15-4.fc29 petersen 2018-08-29 04:17:29 complete
Agda-stdlib-0.15-4.fc30 petersen 2018-08-28 16:59:45 complete
Agda-stdlib-0.15-3.fc29 petersen 2018-08-22 21:44:14 complete
Agda-stdlib-0.15-3.fc30 petersen 2018-08-22 21:26:42 deleted
Agda-stdlib-0.15-2.fc29 releng 2018-07-12 19:39:20 complete
Agda-stdlib-0.15-1.fc28 petersen 2018-07-09 11:13:51 deleted
Agda-stdlib-0.15-1.fc29 petersen 2018-07-09 10:40:23 deleted
Agda-stdlib-0.13-4.fc29 till 2018-05-26 18:26:19 failed
Agda-stdlib-0.13-4.fc28 ignatenkobrain 2018-02-09 09:20:36 canceled
Agda-stdlib-0.13-3.fc27 ausil 2017-08-02 17:57:02 complete
Agda-stdlib-0.13-2.fc27 releng 2017-07-26 02:10:01 complete
Agda-stdlib-0.13-1.fc26 petersen 2017-03-13 07:29:08 complete
Agda-stdlib-0.13-1.fc27 petersen 2017-03-12 14:21:06 complete
Agda-stdlib-0.11-2.fc26 releng 2017-02-10 13:08:13 failed
Agda-stdlib-0.9-3.fc24 releng 2016-02-03 15:30:38 complete
Agda-stdlib-0.9-2.fc23 ausil 2015-06-16 23:03:44 complete
Agda-stdlib-0.9-1.fc22 petersen 2015-04-20 03:32:49 complete
Agda-stdlib-0.9-1.fc23 petersen 2015-04-17 06:54:44 deleted
Agda-stdlib-0.9-6.fc23 petersen 2015-04-17 06:27:47 deleted
Agda-stdlib-0.7-5.fc21 pbrobinson 2014-08-15 18:56:13 complete
Agda-stdlib-0.7-5.fc22 pbrobinson 2014-08-15 18:51:00 complete
Agda-stdlib-0.7-4.fc21 ausil 2014-06-06 22:47:55 complete
Agda-stdlib-0.7-3.fc19 petersen 2014-02-12 07:48:06 complete
Agda-stdlib-0.7-3.fc20 petersen 2014-02-12 07:23:43 complete
Agda-stdlib-0.7-3.fc21 petersen 2014-02-12 06:27:46 complete
Tags
1 through 34 of 34
Name ascending sort Owner Included? Extra Arches
dist-6E-epel releng yes
f18 petersen yes
f19 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