rpms / coq

Clone
Source Code
GIT

8ec920a Version 8.11.0.

Authored and Committed by jjames 4 years ago
raw patch tree parent
5 files changed. 82 lines added. 167 lines removed.
0001-Add-support-for-OCaml-4.10.patch
file modified
+6 -4
0002-fix-signal-polling-for-OCaml-4.10.patch
file removed
-48
coq.rpmlintrc
file modified
+7 -6
coq.spec
file modified
+68 -107
sources
file modified
+1 -2 
    Version 8.11.0.
    Drop upstreamed 0002-fix-signal-polling-for-OCaml-4.10.patch.
    Stop bundling the python3 runtime for antlr4.
file modified
+6 -4
file removed
-48
file modified
+7 -6
file modified
+68 -107
file modified
+1 -2
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.