rpms / coq

Clone
Source Code
GIT

e8c2be4 New upstream release.

Authored and Committed by Jerry James 9 years ago
raw patch tree parent
4 files changed. 11 lines added. 29 lines removed.
.gitignore
file modified
+1 -1
coq-comment-string-literal.patch
file removed
-11
coq.spec
file modified
+9 -16
sources
file modified
+1 -1 
    New upstream release.
    
    Also:
    - Drop upstreamed comment patch.
    - Drop aarch64 bug workaround, fixed in ocaml 4.02.0.
file modified
+1 -1
file removed
-11
file modified
+9 -16
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.