gappalib-coq | Package Info

Name

gappalib-coq

2668

Builds

NVR	Built by	Finished	State
1 through 1 of 1
gappalib-coq-1.7.0-2.rvre0.fc42	davidlt	2025-06-09 16:15:18

Builds 1 through 1 of 1

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

Tags 1 through 1 of 1