coq | Package Info | koji

Information for package coq

Name

coq

ID

18060

Builds

NVR	Built by	Finished	State
1 through 1 of 1
coq-8.20.1-2.rvre0.fc42	davidlt	2025-06-09 16:09:35

Builds 1 through 1 of 1

Name	Owner	Included?	Extra Arches
1 through 1 of 1
f42	davidlt

Tags 1 through 1 of 1