rpms / coq

Clone
Source Code
GIT

d8f59d0 New upstream release.

Authored and Committed by jjames 5 years ago
raw patch tree parent
3 files changed. 102 lines added. 26 lines removed.
.gitignore
file modified
+2 -8
coq.spec
file modified
+98 -17
sources
file modified
+2 -1 
    New upstream release.
    
    Also:
    - Bundle the python3 runtime for antlr4 4.7.2 due to inaction on
      bz 1595974 and bz 1599015.
file modified
+2 -8
file modified
+98 -17
file modified
+2 -1
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.