coq-compcert(-32).3.12: restrict OCaml to <5~ + editorial changes

coq · Mar 31, 2023 · c7fed58 · c7fed58
1 parent f9ecea1
commit c7fed58
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/released/packages/coq-compcert-32/coq-compcert-32.3.12/opam b/released/packages/coq-compcert-32/coq-compcert-32.3.12/opam
@@ -1,6 +1,5 @@
 opam-version: "2.0"
 name: "coq-compcert-32"
-version: "3.11"
 synopsis: "The CompCert C compiler (32 bit)"
 description: """\
 This package installs the 32 bit version of CompCert.
@@ -31,7 +30,7 @@ bug-reports: "https://github.com/AbsInt/CompCert/issues"
 depends: [
   "coq" {>= "8.12.0" & < "8.18~"}
   "menhir" {>= "20190626" & != "dev"}
-  "ocaml" {>= "4.05.0"}
+  "ocaml" {>= "4.05.0" & < "5~"}
   "coq-flocq" {>= "4.1.0" & < "5~"}
   "coq-menhirlib" {>= "20190626"}
 ]

diff --git a/released/packages/coq-compcert/coq-compcert.3.12/opam b/released/packages/coq-compcert/coq-compcert.3.12/opam
@@ -1,6 +1,5 @@
 opam-version: "2.0"
 name: "coq-compcert"
-version: "3.12"
 synopsis: "The CompCert C compiler (64 bit)"
 maintainer: "Michael Soegtrop"
 authors: "Xavier Leroy <[email protected]>"
@@ -18,7 +17,7 @@ bug-reports: "https://github.com/AbsInt/CompCert/issues"
 depends: [
   "coq" {>= "8.12.0" & < "8.18~"}
   "menhir" {>= "20190626" & != "dev"}
-  "ocaml" {>= "4.05.0"}
+  "ocaml" {>= "4.05.0" & < "5~"}
   "coq-flocq" {>= "4.1.0" & < "5~"}
   "coq-menhirlib" {>= "20190626"}
 ]