Fri, 02 Dec 2022 10:59:39 UTC

Information for package Agda

NameAgda
ID14288
Builds
Page:
1 through 50 of 91 >>>
NVR Built by Finished descending sort State
Agda-2.5.3-14.el8 petersen 2022-09-07 19:59:05 complete
Agda-2.6.2.2-36.el9 petersen 2022-09-03 16:25:06 complete
Agda-2.6.2.2-37.fc37 releng 2022-07-21 01:04:22 complete
Agda-2.6.2.2-36.fc37 petersen 2022-06-19 11:56:50 complete
Agda-2.6.2.1-35.fc36 petersen 2022-03-27 14:25:10 complete
Agda-2.6.2.1-35.fc37 petersen 2022-03-20 18:58:30 complete
Agda-2.6.2-34.fc36 releng 2022-01-25 08:16:37 complete
Agda-2.6.2-33.fc36 churchyard 2022-01-08 15:38:11 complete
Agda-2.6.2-32.eln113 sgallagh 2021-10-07 04:37:49 deleted
Agda-2.6.2-32.fc35 petersen 2021-08-08 23:20:48 complete
Agda-2.6.1-31.fc35 releng 2021-07-22 00:51:22 complete
Agda-2.6.1-30.fc35 releng 2021-07-21 17:31:02 complete
Agda-2.6.0.1-24.fc32 petersen 2021-02-01 14:38:39 complete
Agda-2.6.1-30.fc34 releng 2021-01-26 20:33:17 complete
Agda-2.6.1-29.fc34 law 2020-10-12 07:04:32 complete
Agda-2.6.0.1-23.fc32 petersen 2020-09-11 06:24:15 complete
Agda-2.6.1-28.fc33 petersen 2020-09-03 14:26:33 complete
Agda-2.6.1-28.fc34 petersen 2020-09-01 13:58:01 complete
Agda-2.6.1-27.fc33 petersen 2020-08-05 07:53:17 complete
Agda-2.6.1-25.fc33 releng 2020-07-27 17:05:43 failed
Agda-2.6.1-24.fc33 petersen 2020-07-20 18:51:58 complete
Agda-2.6.1-23.fc33 petersen 2020-07-18 21:30:43 deleted
Agda-2.6.0.1-22.fc32 petersen 2020-06-22 12:00:45 complete
Agda-2.6.0.1-22.fc33 petersen 2020-06-06 15:15:55 deleted
Agda-2.6.0.1-21.fc32 petersen 2020-02-22 17:25:41 complete
Agda-2.6.0.1-20.fc32 releng 2020-01-28 16:35:24 complete
Agda-2.6.0.1-19.fc31 petersen 2019-08-06 12:52:25 complete
Agda-2.5.4.2-18.fc31 releng 2019-07-25 15:37:13 complete
Agda-2.5.4.2-17.fc30 petersen 2019-02-28 13:50:21 complete
Agda-2.5.3-15.fc30 petersen 2019-02-02 14:33:57 complete
Agda-2.5.3-14.fc29 petersen 2018-07-31 13:42:52 complete
Agda-2.5.3-13.fc29 releng 2018-07-13 00:48:56 complete
Agda-2.5.3-12.fc28 releng 2018-02-07 07:35:28 complete
Agda-2.5.3-11.fc28 petersen 2018-01-27 21:48:47 complete
Agda-2.5.2-10.fc28 petersen 2017-12-26 16:20:54 complete
Agda-2.5.2-9.fc27 petersen 2017-11-15 17:09:33 complete
Agda-2.5.2-9.fc28 petersen 2017-11-15 10:07:09 deleted
Agda-2.5.2-8.fc27 petersen 2017-11-13 14:28:28 deleted
Agda-2.5.2-8.fc28 petersen 2017-11-10 19:08:05 complete
Agda-2.5.2-7.fc27.1 ausil 2017-08-03 04:17:08 complete
Agda-2.5.2-6.fc27.1 releng 2017-07-26 11:40:22 complete
Agda-2.5.2-5.fc26.1 petersen 2017-03-13 06:57:33 complete
Agda-2.5.2-5.fc26 petersen 2017-03-12 18:15:14 deleted
Agda-2.5.2-5.fc27 petersen 2017-03-12 11:18:38 complete
Agda-2.5.2-4.fc26 petersen 2017-03-10 19:05:22 deleted
Agda-2.5.2-4.fc27 petersen 2017-03-10 15:15:01 complete
Agda-2.4.2.5-3.fc26 releng 2017-02-10 08:01:03 complete
Agda-2.3.2.2-5.el7 petersen 2016-12-15 09:17:48 complete
Agda-2.3.2.2-4.el7 petersen 2016-12-01 09:33:19 complete
Agda-2.4.2.5-1.fc25 petersen 2016-10-07 08:17:55 complete
Builds 1 through 50 of 91 >>>
Tags
Page:
1 through 50 of 52 >>>
Name ascending sort Owner Included? Extra Arches
dist-f15 petersen yes
dist-f15-eol petersen yes
epel7 petersen yes
epel8 petersen yes
epel9 petersen yes
f18 petersen yes
f18-Alpha petersen yes
f18-Beta petersen yes
f18-final 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 petersen yes
f32-Beta releng yes
f33 petersen yes
f33-Beta releng yes
f34 petersen yes
f34-Beta releng yes
f35 petersen yes
f35-Beta petersen yes
f36 petersen yes
f36-Beta petersen yes
f37 petersen yes
f37-Beta petersen yes
f38 petersen yes
module-bootstrap-f27 releng yes
Tags 1 through 50 of 52 >>>