rpms / coq

Clone
Source Code
GIT

251a541 New upstream release.

Authored and Committed by Jerry James 11 years ago
raw patch tree parent
5 files changed. 17 lines added. 160 lines removed.
.gitignore
file modified
+1 -1
coq-gdk.patch
file removed
-40
coq-texlive.patch
file removed
-109
coq.spec
file modified
+15 -9
sources
file modified
+1 -1 
    New upstream release.
    Drop upstreamed GDK patch.
    Adapt configure arguments to new version.
    Add csdp-tools requirement to get csdp binary.
file modified
+1 -1
file removed
-40
file removed
-109
file modified
+15 -9
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.