Agda | Package Info

Information for package Agda

Name

Agda

14288

Builds

NVR	Built by	Finished
Page: 1 through 50 of 94 >>>
Agda-2.6.3-40.fc39	petersen	2023-07-30 10:20:42
Agda-2.6.2.2-39.fc39	releng	2023-07-19 12:32:19
Agda-2.6.2.2-38.fc38	petersen	2023-02-17 18:45:02
Agda-2.5.3-14.el8	petersen	2022-09-07 19:59:05
Agda-2.6.2.2-36.el9	petersen	2022-09-03 16:25:06
Agda-2.6.2.2-37.fc37	releng	2022-07-21 01:04:22
Agda-2.6.2.2-36.fc37	petersen	2022-06-19 11:56:50
Agda-2.6.2.1-35.fc36	petersen	2022-03-27 14:25:10
Agda-2.6.2.1-35.fc37	petersen	2022-03-20 18:58:30
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

Builds 1 through 50 of 94 >>>

Name	Owner	Included?	Extra Arches
Page: 1 through 50 of 56 >>>
dist-f15	petersen
dist-f15-eol	petersen
epel7	petersen
epel8	petersen
epel9	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
f36-Beta	petersen
f37	petersen
f37-Beta	petersen
f38	petersen
f38-Beta	petersen

Tags 1 through 50 of 56 >>>