rpms / gappalib-coq

Clone
Source Code
GIT

38904f1 Fix for safe-string in OCaml 4.06.

Authored and Committed by rjones 6 years ago
raw patch tree parent
2 files changed. 38 lines added. 0 lines removed.
gappalib-coq-1.3.2-safe-string.patch
file added
+34
gappalib-coq.spec
file modified
+4 -0 
    Fix for safe-string in OCaml 4.06.
file added
+34
file modified
+4 -0
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.