f410e1b
Backport various fixes to make Coq compile with OCaml 4.06.
Authored and Committed by 
rjones
6 years ago
0001-Small-adjustments-to-use-the-new-external-nums-libra.patch
file added
+40
0002-safe-string-lib-miscelanea.patch
file added
+49
0003-safe-string-lib-cUnix.patch
file added
+53
0004-lib-cString.ml-Small-safe-string-fix-not-upstream-as.patch
file added
+29
0005-safe-string-Use-String.init-to-build-string.patch
file added
+65
0006-safe_string-lib-cThread.patch
file added
+81
0007-safe_string-kernel-cemitcodes.patch
file added
+107
0008-safe-string-kernel-nativevalues.patch
file added
+36
0009-safe_string-kernel-term_typing.patch
file added
+30
0010-safe_string-library-nameops.patch
file added
+100
0011-safe_string-interp-dumpglob.patch
file added
+61
0012-safe-string-parsing-cLexer.patch
file added
+69
0013-safe_string-toplevel-vernac.patch
file added
+57
0014-safe_string-toplevel-coqloop.patch
file added
+141
0015-ltac-profile_ltac.ml-Fix-string-mutability-not-upstr.patch
file added
+28
0016-safe-string-plugins-extraction.patch
file added
+65
0017-safe-string-tools.patch
file added
+98
0018-safe-string-ide.patch
file added
+94
0019-Glib.Io-now-uses-bytes-no-need-for-workaround.patch
file added
+26
coq.spec
file modified
+28
-0