Main Site Links:

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

Information for package Agda

Name	Agda
ID	14288
Builds	Page: 1 2 1 through 50 of 85 >>> NVR Built by Finished State Agda-2.6.2-34.fc36 releng 2022-01-25 08:16:37 Agda-2.6.2-33.fc36 churchyard 2022-01-08 15:38:11 Agda-2.6.2-32.eln113 sgallagh 2021-10-07 04:37:49 Agda-2.6.2-32.fc35 petersen 2021-08-08 23:20:48 Agda-2.6.1-31.fc35 releng 2021-07-22 00:51:22 Agda-2.6.1-30.fc35 releng 2021-07-21 17:31:02 Agda-2.6.0.1-24.fc32 petersen 2021-02-01 14:38:39 Agda-2.6.1-30.fc34 releng 2021-01-26 20:33:17 Agda-2.6.1-29.fc34 law 2020-10-12 07:04:32 Agda-2.6.0.1-23.fc32 petersen 2020-09-11 06:24:15 Agda-2.6.1-28.fc33 petersen 2020-09-03 14:26:33 Agda-2.6.1-28.fc34 petersen 2020-09-01 13:58:01 Agda-2.6.1-27.fc33 petersen 2020-08-05 07:53:17 Agda-2.6.1-25.fc33 releng 2020-07-27 17:05:43 Agda-2.6.1-24.fc33 petersen 2020-07-20 18:51:58 Agda-2.6.1-23.fc33 petersen 2020-07-18 21:30:43 Agda-2.6.0.1-22.fc32 petersen 2020-06-22 12:00:45 Agda-2.6.0.1-22.fc33 petersen 2020-06-06 15:15:55 Agda-2.6.0.1-21.fc32 petersen 2020-02-22 17:25:41 Agda-2.6.0.1-20.fc32 releng 2020-01-28 16:35:24 Agda-2.6.0.1-19.fc31 petersen 2019-08-06 12:52:25 Agda-2.5.4.2-18.fc31 releng 2019-07-25 15:37:13 Agda-2.5.4.2-17.fc30 petersen 2019-02-28 13:50:21 Agda-2.5.3-15.fc30 petersen 2019-02-02 14:33:57 Agda-2.5.3-14.fc29 petersen 2018-07-31 13:42:52 Agda-2.5.3-13.fc29 releng 2018-07-13 00:48:56 Agda-2.5.3-12.fc28 releng 2018-02-07 07:35:28 Agda-2.5.3-11.fc28 petersen 2018-01-27 21:48:47 Agda-2.5.2-10.fc28 petersen 2017-12-26 16:20:54 Agda-2.5.2-9.fc27 petersen 2017-11-15 17:09:33 Agda-2.5.2-9.fc28 petersen 2017-11-15 10:07:09 Agda-2.5.2-8.fc27 petersen 2017-11-13 14:28:28 Agda-2.5.2-8.fc28 petersen 2017-11-10 19:08:05 Agda-2.5.2-7.fc27.1 ausil 2017-08-03 04:17:08 Agda-2.5.2-6.fc27.1 releng 2017-07-26 11:40:22 Agda-2.5.2-5.fc26.1 petersen 2017-03-13 06:57:33 Agda-2.5.2-5.fc26 petersen 2017-03-12 18:15:14 Agda-2.5.2-5.fc27 petersen 2017-03-12 11:18:38 Agda-2.5.2-4.fc26 petersen 2017-03-10 19:05:22 Agda-2.5.2-4.fc27 petersen 2017-03-10 15:15:01 Agda-2.4.2.5-3.fc26 releng 2017-02-10 08:01:03 Agda-2.3.2.2-5.el7 petersen 2016-12-15 09:17:48 Agda-2.3.2.2-4.el7 petersen 2016-12-01 09:33:19 Agda-2.4.2.5-1.fc25 petersen 2016-10-07 08:17:55 Agda-2.4.2.5-1.fc26 petersen 2016-10-07 07:21:59 Agda-2.4.2.2-6.fc24 releng 2016-02-03 16:09:38 Agda-2.4.2.2-5.fc23 petersen 2015-07-23 06:48:38 Agda-2.4.2.2-5.fc24 petersen 2015-07-22 07:22:13 Agda-2.4.2.2-4.fc23 ausil 2015-06-16 23:34:30 Agda-2.4.2.2-3.fc22 petersen 2015-04-20 01:03:21 Builds 1 through 50 of 85 >>>
Tags	1 through 48 of 48 Name Owner Included? Extra Arches dist-f15 petersen dist-f15-eol petersen epel7 petersen epel8 petersen f18 petersen f18-Alpha petersen f18-Beta petersen f18-final 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 f37 petersen module-bootstrap-f27 releng module-package-list petersen trashcan petersen Tags 1 through 48 of 48