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