Merge pull request #345 from MSoegtropIMC/prepare-2023.03-1

Prepare 2023.03 1
coq · Apr 30, 2023 · 83ffdf7 · 83ffdf7
2 parents 63b2f6e + 46807b0
commit 83ffdf7
Show file tree

Hide file tree

Showing 24 changed files with 42 additions and 764 deletions.
diff --git a/example_coq_platform_make_windows.bat b/example_coq_platform_make_windows.bat
@@ -5,7 +5,7 @@ REM But you do need separate cygwin folders for compiling a 64 bit and 32 bit Co
 
 CALL coq_platform_make_windows.bat ^
   -arch=64 ^
-  -destcyg=C:\bin\cygwin64_coq_platform1234 ^
+  -destcyg=C:\bin\cygwin64_coq_platform ^
   -cygcache=C:\bin\cygwin_cache ^
   -cygrepo=https://mirrors.kernel.org/sourceware/cygwin ^
   -packages="8.17~2023.03+beta1" -extent=x -parallel=p -jobs=8 -switch=k -compcert=y -large=i

diff --git a/...opam-coq-archive/released/packages/coq-bedrock2-compiler/coq-bedrock2-compiler.0.0.5/opam b/...opam-coq-archive/released/packages/coq-bedrock2-compiler/coq-bedrock2-compiler.0.0.5/opam
diff --git a/opam/opam-coq-archive/released/packages/coq-bedrock2/coq-bedrock2.0.0.5/opam b/opam/opam-coq-archive/released/packages/coq-bedrock2/coq-bedrock2.0.0.5/opam
diff --git a/opam/opam-coq-archive/released/packages/coq-coqutil/coq-coqutil.0.0.3/opam b/opam/opam-coq-archive/released/packages/coq-coqutil/coq-coqutil.0.0.3/opam
diff --git a/opam/opam-coq-archive/released/packages/coq-corn/coq-corn.8.16.0/opam b/opam/opam-coq-archive/released/packages/coq-corn/coq-corn.8.16.0/opam
diff --git a/opam/opam-coq-archive/released/packages/coq-fiat-crypto/coq-fiat-crypto.0.0.20/opam b/opam/opam-coq-archive/released/packages/coq-fiat-crypto/coq-fiat-crypto.0.0.20/opam
diff --git a/opam/opam-coq-archive/released/packages/coq-kami/coq-kami.0.0.3-rv32i/opam b/opam/opam-coq-archive/released/packages/coq-kami/coq-kami.0.0.3-rv32i/opam
diff --git a/...am-coq-archive/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.0.6.1/opam b/...am-coq-archive/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.0.6.1/opam
diff --git a/...coq-archive/released/packages/coq-metacoq-erasure/coq-metacoq-erasure.1~preview+8.17/opam b/...coq-archive/released/packages/coq-metacoq-erasure/coq-metacoq-erasure.1~preview+8.17/opam