.gitignore
file added
+1
.ocaml.metadata
file added
+1
SOURCES/0001-Don-t-add-rpaths-to-libraries.patch
file added
+27
SOURCES/0002-configure-Allow-user-defined-C-compiler-flags.patch
file added
+27
SOURCES/0003-configure-Remove-incorrect-assumption-about-cross-co.patch
file added
+43
SOURCES/0004-Remove-configure-from-.gitattributes.patch
file added
+28
SOURCES/0005-Fix-type-mismatches-between-definition-and-declarati.patch
file added
+69
SOURCES/0006-Dynamically-allocate-the-alternate-signal-stack-1026.patch
file added
+103
SPECS/ocaml.spec
file added
+1116