88f9772
Add fix for Coq build issue:
Authored and Committed by 
rjones
9 years ago
0001-Don-t-ignore-.-configure-it-s-a-real-git-file.patch
file modified
+1
-1
0002-Ensure-empty-compilerlibs-directory-is-created-by-gi.patch
file modified
+1
-1
0003-Don-t-add-rpaths-to-libraries.patch
file modified
+1
-1
0004-ocamlbyteinfo-ocamlplugininfo-Useful-utilities-from-.patch
file modified
+1
-1
0005-configure-Allow-user-defined-C-compiler-flags.patch
file modified
+1
-1
0006-Add-support-for-ppc64.patch
file modified
+1
-1
0007-Add-support-for-ppc64le.patch
file modified
+1
-1
0008-arm-arm64-Mark-stack-as-non-executable.patch
file modified
+1
-1
0009-arg-Add-no_arg-and-get_arg-helper-functions.patch
file modified
+1
-1
0010-arg-Allow-flags-such-as-flag-arg-as-well-as-flag-arg.patch
file modified
+1
-1
0011-aarch64-Fix-for-mantis-6507.patch
file added
+81
ocaml.spec
file modified
+6
-1