Agda-stdlib | Package Info

Information for package Agda-stdlib

Name

Agda-stdlib

17970

Builds

NVR	Built by	Finished
Page: 1 through 50 of 54 >>>
Agda-stdlib-1.7.2-1.fc39	petersen	2023-08-06 21:24:05
Agda-stdlib-1.7.1-9.fc39	releng	2023-07-19 11:25:17
Agda-stdlib-1.7.1-5.fc38	petersen	2023-02-21 04:33:01
Agda-stdlib-1.7.1-4.fc38	releng	2023-01-18 20:00:00
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

Builds 1 through 50 of 54 >>>

Name	Owner	Included?	Extra Arches
Page: 1 through 50 of 52 >>>
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
f38-Beta	petersen
f39	petersen
f39-Beta	petersen
f40	petersen
module-bootstrap-f27	releng

Tags 1 through 50 of 52 >>>