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 76 >>> NVR Built by Finished State 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 Agda-2.4.2.2-3.fc23 petersen 2015-04-17 05:03:30 Agda-2.4.2.2-2.fc23 petersen 2015-04-16 09:37:05 Agda-2.4.2.2-1.fc23 petersen 2015-04-03 13:30:39 Agda-2.4.2-1.fc22 petersen 2015-02-06 20:49:29 Agda-2.3.2.2-5.fc21 pbrobinson 2014-08-16 17:07:20 Agda-2.3.2.2-5.fc22 pbrobinson 2014-08-16 15:55:31 Agda-2.3.2.2-4.fc21 ausil 2014-06-06 22:51:24 Agda-2.3.2.2-3.el7 petersen 2014-04-22 03:28:22 Agda-2.3.2.2-3.fc21 petersen 2014-04-22 02:16:16 Builds 1 through 50 of 76 >>>
Tags	1 through 42 of 42 Name Owner Included? Extra Arches dist-f15 petersen dist-f15-eol petersen epel7 releng 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 releng f32-Beta releng f33 releng f33-Beta releng f34 releng module-bootstrap-f27 releng module-package-list releng trashcan releng Tags 1 through 42 of 42