rpms / coq

Clone
Source Code
GIT

bbf312f Version 8.14.0. Add -core subpackage.

Authored and Committed by jjames 2 years ago
raw patch tree parent
3 files changed. 82 lines added. 32 lines removed.
README.md
file added
+22
coq.spec
file modified
+59 -31
sources
file modified
+1 -1 
    Version 8.14.0.  Add -core subpackage.
file added
+22
file modified
+59 -31
file modified
+1 -1
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.