Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for package coq

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