Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for package Agda-stdlib

Name	Agda-stdlib
ID	17970
Builds	1 through 40 of 40 NVR Built by Finished State Agda-stdlib-1.3-5.fc34 releng 2021-01-25 23:29:24 Agda-stdlib-1.3-4.fc33 petersen 2020-08-25 16:20:42 Agda-stdlib-1.3-4.fc34 petersen 2020-08-24 12:31:56 Agda-stdlib-1.3-3.fc33 releng 2020-07-27 11:50:24 Agda-stdlib-1.3-2.fc33 petersen 2020-07-21 05:36:03 Agda-stdlib-1.3-1.fc33 petersen 2020-07-20 03:48:12 Agda-stdlib-1.1-3.fc32 petersen 2020-06-23 02:40:02 Agda-stdlib-1.2-1.fc33 petersen 2020-06-07 04:48:51 Agda-stdlib-1.1-2.fc32 releng 2020-01-28 09:35:21 Agda-stdlib-1.1-1.fc31 petersen 2019-08-20 21:23:57 Agda-stdlib-1.1-1.fc32 petersen 2019-08-17 10:41:36 Agda-stdlib-0.17-2.fc31 releng 2019-07-24 18:32:58 Agda-stdlib-0.17-1.fc30 petersen 2019-02-28 15:06:00 Agda-stdlib-0.15-5.fc30 releng 2019-01-31 11:56:58 Agda-stdlib-0.15-4.fc28 petersen 2018-08-29 04:51:39 Agda-stdlib-0.15-4.fc29 petersen 2018-08-29 04:17:29 Agda-stdlib-0.15-4.fc30 petersen 2018-08-28 16:59:45 Agda-stdlib-0.15-3.fc29 petersen 2018-08-22 21:44:14 Agda-stdlib-0.15-3.fc30 petersen 2018-08-22 21:26:42 Agda-stdlib-0.15-2.fc29 releng 2018-07-12 19:39:20 Agda-stdlib-0.15-1.fc28 petersen 2018-07-09 11:13:51 Agda-stdlib-0.15-1.fc29 petersen 2018-07-09 10:40:23 Agda-stdlib-0.13-4.fc29 till 2018-05-26 18:26:19 Agda-stdlib-0.13-4.fc28 ignatenkobrain 2018-02-09 09:20:36 Agda-stdlib-0.13-3.fc27 ausil 2017-08-02 17:57:02 Agda-stdlib-0.13-2.fc27 releng 2017-07-26 02:10:01 Agda-stdlib-0.13-1.fc26 petersen 2017-03-13 07:29:08 Agda-stdlib-0.13-1.fc27 petersen 2017-03-12 14:21:06 Agda-stdlib-0.11-2.fc26 releng 2017-02-10 13:08:13 Agda-stdlib-0.9-3.fc24 releng 2016-02-03 15:30:38 Agda-stdlib-0.9-2.fc23 ausil 2015-06-16 23:03:44 Agda-stdlib-0.9-1.fc22 petersen 2015-04-20 03:32:49 Agda-stdlib-0.9-1.fc23 petersen 2015-04-17 06:54:44 Agda-stdlib-0.9-6.fc23 petersen 2015-04-17 06:27:47 Agda-stdlib-0.7-5.fc21 pbrobinson 2014-08-15 18:56:13 Agda-stdlib-0.7-5.fc22 pbrobinson 2014-08-15 18:51:00 Agda-stdlib-0.7-4.fc21 ausil 2014-06-06 22:47:55 Agda-stdlib-0.7-3.fc19 petersen 2014-02-12 07:48:06 Agda-stdlib-0.7-3.fc20 petersen 2014-02-12 07:23:43 Agda-stdlib-0.7-3.fc21 petersen 2014-02-12 06:27:46 Builds 1 through 40 of 40
Tags	1 through 39 of 39 Name Owner Included? Extra Arches dist-6E-epel releng dist-6E-epel-build releng f18 petersen f19 petersen f21-beta petersen f22-Alpha petersen f22-Beta petersen f23_Alpha petersen f23_Beta petersen f24 petersen f24-Alpha petersen f24-Beta petersen f24-docker petersen f25 releng f25-Alpha petersen f25-Beta petersen f25-docker petersen f26 releng f26-Alpha petersen f26-Beta petersen f26-docker petersen f27 releng f27-Beta releng f28 releng f28-Beta releng f29 releng f29-Beta releng f30 releng f30-Beta releng f31 releng f31-Beta releng f32 releng f32-Beta releng f33 releng f33-Beta releng f34 releng module-bootstrap-f27 releng module-package-list releng trashcan releng Tags 1 through 39 of 39