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 50 of 50 NVR Built by Finished State Agda-stdlib-1.7.1-2.el9 petersen 2022-09-09 16:26:45 Agda-stdlib-1.7.1-3.fc37 releng 2022-07-20 19:24:12 Agda-stdlib-1.7.1-2.fc37 petersen 2022-06-21 02:44:42 Agda-stdlib-1.7.1-1.fc36 petersen 2022-03-28 12:24:13 Agda-stdlib-1.7.1-1.fc37 petersen 2022-03-21 03:09:47 Agda-stdlib-1.7-2.fc36 releng 2022-01-24 18:31:30 Agda-stdlib-1.7-1.eln113 sgallagh 2021-10-06 18:14:58 Agda-stdlib-1.7-1.fc35 petersen 2021-08-09 12:27:25 Agda-stdlib-1.3-6.fc35 releng 2021-07-21 17:22:27 Agda-stdlib-1.3-5.fc35 releng 2021-07-21 11:21:05 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 50 of 50
Tags	1 through 48 of 48 Name Owner Included? Extra Arches dist-6E-epel releng dist-6E-epel-build releng epel9 petersen 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 petersen f32-Beta releng f33 petersen f33-Beta releng f34 petersen f34-Beta releng f35 petersen f35-Beta petersen f36 petersen f36-Beta petersen f37 petersen f37-Beta petersen f38 petersen module-bootstrap-f27 releng module-package-list petersen trashcan petersen Tags 1 through 48 of 48