Skip to content

Commit 83ffdf7

Browse files
MSoegtropIMCMSoegtropIMC
authored
Merge pull request #345 from MSoegtropIMC/prepare-2023.03-1
Prepare 2023.03 1
2 parents 63b2f6e + 46807b0 commit 83ffdf7

File tree

24 files changed

+42
-764
lines changed
  • example_coq_platform_make_windows.bat
  • opam/opam-coq-archive/released/packages
    • coq-bedrock2/coq-bedrock2.0.0.5
    • coq-bedrock2-compiler/coq-bedrock2-compiler.0.0.5
    • coq-coqutil/coq-coqutil.0.0.3
    • coq-corn/coq-corn.8.16.0
    • coq-fiat-crypto/coq-fiat-crypto.0.0.20
    • coq-kami/coq-kami.0.0.3-rv32i
    • coq-mathcomp-classical/coq-mathcomp-classical.0.6.1
    • coq-metacoq/coq-metacoq.1~preview+8.17
    • coq-metacoq-erasure/coq-metacoq-erasure.1~preview+8.17
    • coq-metacoq-pcuic/coq-metacoq-pcuic.1~preview+8.17
    • coq-metacoq-safechecker/coq-metacoq-safechecker.1~preview+8.17
    • coq-metacoq-template/coq-metacoq-template.1~preview+8.17
    • coq-metacoq-translations/coq-metacoq-translations.1~preview+8.17
    • coq-record-update/coq-record-update.0.3.2
    • coq-rewriter/coq-rewriter.0.0.8
    • coq-riscv/coq-riscv.0.0.4
    • coq-rupicola/coq-rupicola.0.0.7
    • coq-vst-32/coq-vst-32.2.12
    • coq-vst-zlist/coq-vst-zlist.2.12
  • package_picks
  • shell_scripts

24 files changed

+42
-764
lines changed

‎example_coq_platform_make_windows.bat

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ REM But you do need separate cygwin folders for compiling a 64 bit and 32 bit Co
55

66
CALL coq_platform_make_windows.bat ^
77
-arch=64 ^
8-
-destcyg=C:\bin\cygwin64_coq_platform1234 ^
8+
-destcyg=C:\bin\cygwin64_coq_platform ^
99
-cygcache=C:\bin\cygwin_cache ^
1010
-cygrepo=https://mirrors.kernel.org/sourceware/cygwin ^
1111
-packages="8.17~2023.03+beta1" -extent=x -parallel=p -jobs=8 -switch=k -compcert=y -large=i

‎opam/opam-coq-archive/released/packages/coq-bedrock2-compiler/coq-bedrock2-compiler.0.0.5/opam

Lines changed: 0 additions & 38 deletions
This file was deleted.

‎opam/opam-coq-archive/released/packages/coq-bedrock2/coq-bedrock2.0.0.5/opam

Lines changed: 0 additions & 40 deletions
This file was deleted.

‎opam/opam-coq-archive/released/packages/coq-coqutil/coq-coqutil.0.0.3/opam

Lines changed: 0 additions & 40 deletions
This file was deleted.

‎opam/opam-coq-archive/released/packages/coq-corn/coq-corn.8.16.0/opam

Lines changed: 0 additions & 97 deletions
This file was deleted.

‎opam/opam-coq-archive/released/packages/coq-fiat-crypto/coq-fiat-crypto.0.0.20/opam

Lines changed: 0 additions & 41 deletions
This file was deleted.

‎opam/opam-coq-archive/released/packages/coq-kami/coq-kami.0.0.3-rv32i/opam

Lines changed: 0 additions & 25 deletions
This file was deleted.

‎opam/opam-coq-archive/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.0.6.1/opam

Lines changed: 0 additions & 48 deletions
This file was deleted.

‎opam/opam-coq-archive/released/packages/coq-metacoq-erasure/coq-metacoq-erasure.1~preview+8.17/opam

Lines changed: 0 additions & 48 deletions
This file was deleted.

0 commit comments

Comments
 (0)