coq | Package Info | ISCAS openkoji system

This site has been archived!!! Click here to visit the new openkoji buildsystem!

Information for package coq

Name

coq

ID

24023

Builds

NVR	Built by	Finished	State
1 through 8 of 8
coq-8.18.0-1.fc39	hezhengyu	2024-03-19 21:10:17
coq-8.18.0-4.fc40	hezhengyu	2024-03-14 02:31:36
coq-8.18.0-3.fc40	hezhengyu	2024-02-01 02:00:33
coq-8.18.0-2.fc40	hezhengyu	2024-01-21 13:05:50
coq-8.18.0-1.fc40	hezhengyu	2024-01-19 10:13:45
coq-8.17.1-3.rvmock0.fc38	hezhengyu	2023-07-13 13:38:58
coq-8.17.0-1.fc38	kojiadmin	2023-07-13 00:46:04
coq-8.16.0-2.fc37	kojiadmin	2023-01-31 04:54:48

Builds 1 through 8 of 8

Name	Owner	Included?	Extra Arches
1 through 4 of 4
f37	kojiadmin
f38	kojiadmin
f39	kojiadmin
f40	kojiadmin

Tags 1 through 4 of 4