rpms / coq

Clone
Source Code
GIT

0082780 Fix to int types in OCaml > 4.02.0 and Fedora.

Authored and Committed by rjones 9 years ago
raw patch tree parent
2 files changed. 34 lines added. 2 lines removed.
coq-8.4pl4-fix-ints.patch
file added
+28
coq.spec
file modified
+6 -2 
    Fix to int types in OCaml > 4.02.0 and Fedora.
file added
+28
file modified
+6 -2
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.