rpms / alt-ergo

Clone
Source Code
GIT

84816c8 Add a workaround for https://github.com/ocaml/ocaml/issues/7608.

Authored and Committed by jjames 5 years ago
raw patch tree parent
1 file changed. 6 lines added. 0 lines removed.
alt-ergo.spec
file modified
+6 -0 
    Add a workaround for https://github.com/ocaml/ocaml/issues/7608.
file modified
+6 -0
Powered by Pagure 5.14.1
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.