Thu, 28 Mar 2024 11:56:49 UTC | login

Information for package coq

Namecoq
ID15097
Builds
1 through 21 of 21
NVR Built by Finished descending sort State
coq-8.18.0-4.fc40 davidlt 2024-03-20 06:57:31 complete
coq-8.18.0-1.fc40 davidlt 2024-01-06 19:03:51 complete
coq-8.17.1-8.fc40 davidlt 2023-12-21 17:34:07 complete
coq-8.17.1-6.fc40 davidlt 2023-11-13 11:05:35 complete
coq-8.17.0-1.fc38 davidlt 2023-06-14 15:21:20 failed
coq-8.16.1-3.fc38 davidlt 2023-03-20 17:54:02 failed
coq-8.16.0-2.fc37 davidlt 2022-11-15 15:11:11 failed
coq-8.16.0-1.fc37 davidlt 2022-11-11 12:32:38 failed
coq-8.12.2-1.fc33 davidlt 2021-05-07 15:07:52 failed
coq-8.12.1-1.fc33 davidlt 2020-12-31 10:29:05 failed
coq-8.12.0-3.fc33.1 davidlt 2020-12-04 11:43:08 failed
coq-8.11.2-4.fc33 davidlt 2020-09-05 12:11:17 failed
coq-8.11.1-1.fc33 davidlt 2020-06-09 14:32:40 failed
coq-8.11.0-5.fc33 davidlt 2020-05-10 11:43:59 failed
coq-8.11.0-3.fc33 davidlt 2020-04-16 18:34:26 failed
coq-8.11.0-1.fc33 davidlt 2020-03-31 19:01:31 failed
coq-8.9.1-10.fc32 rjones 2020-01-10 21:47:03 failed
coq-8.9.1-4.fc31 davidlt 2019-09-21 17:04:05 failed
coq-8.7.1-7.fc30 davidlt 2018-12-10 07:17:58 failed
coq-8.7.1-7.fc29 davidlt 2018-11-29 10:40:15 failed
coq-8.7.1-2.fc29 davidlt 2018-07-03 22:38:04 failed
Builds 1 through 21 of 21
Tags
1 through 9 of 9
Name ascending sort Owner Included? Extra Arches
f29 kojiadmin yes
f30 kojiadmin yes
f31 kojiadmin yes
f32 kojiadmin yes
f33 kojiadmin yes
f37 kojiadmin yes
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
Tags 1 through 9 of 9