Merge pull request #462 from MSoegtropIMC/2025.01-prep-7

2025.01 prep 7
coq · Jan 28, 2025 · 0bcba70 · 0bcba70
2 parents 93c1c0d + a030c3b
commit 0bcba70
Show file tree

Hide file tree

Showing 15 changed files with 6 additions and 581 deletions.
diff --git a/...packages/coq-compcert-32/coq-compcert-32.dev/files/0001-Allow-dev-version-of-Menhir.patch b/...packages/coq-compcert-32/coq-compcert-32.dev/files/0001-Allow-dev-version-of-Menhir.patch
diff --git a/opam/opam-coq-archive/extra-dev/packages/coq-compcert-32/coq-compcert-32.dev/opam b/opam/opam-coq-archive/extra-dev/packages/coq-compcert-32/coq-compcert-32.dev/opam
diff --git a/...a-dev/packages/coq-compcert/coq-compcert.dev/files/0001-Allow-dev-version-of-Menhir.patch b/...a-dev/packages/coq-compcert/coq-compcert.dev/files/0001-Allow-dev-version-of-Menhir.patch
diff --git a/opam/opam-coq-archive/extra-dev/packages/coq-compcert/coq-compcert.dev/opam b/opam/opam-coq-archive/extra-dev/packages/coq-compcert/coq-compcert.dev/opam
diff --git a/opam/opam-coq-archive/extra-dev/packages/coq-serapi/coq-serapi.dev/opam b/opam/opam-coq-archive/extra-dev/packages/coq-serapi/coq-serapi.dev/opam
diff --git a/opam/opam-coq-archive/extra-dev/packages/coq-vst-32/coq-vst-32.dev/opam b/opam/opam-coq-archive/extra-dev/packages/coq-vst-32/coq-vst-32.dev/opam
diff --git a/opam/opam-coq-archive/extra-dev/packages/coq-vst/coq-vst.dev/opam b/opam/opam-coq-archive/extra-dev/packages/coq-vst/coq-vst.dev/opam