coq-compcert: avoid using menhir dev where it is known to fail

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

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/released/packages/coq-compcert-32/coq-compcert-32.3.11/opam b/released/packages/coq-compcert-32/coq-compcert-32.3.11/opam
@@ -30,7 +30,7 @@ install: [
 ]
 depends: [
   "coq" {>= "8.12.0" & < "8.17~"}
-  "menhir" {>= "20190626" }
+  "menhir" {>= "20190626" & != "dev"}
   "ocaml" {>= "4.05.0"}
   "coq-flocq" {>= "4.1.0" & < "5~"}
   "coq-menhirlib" {>= "20190626"}

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
@@ -30,7 +30,7 @@ homepage: "http://compcert.inria.fr/"
 bug-reports: "https://github.com/AbsInt/CompCert/issues"
 depends: [
   "coq" {>= "8.12.0" & < "8.18~"}
-  "menhir" {>= "20190626"}
+  "menhir" {>= "20190626" & != "dev"}
   "ocaml" {>= "4.05.0"}
   "coq-flocq" {>= "4.1.0" & < "5~"}
   "coq-menhirlib" {>= "20190626"}

diff --git a/released/packages/coq-compcert/coq-compcert.3.11/opam b/released/packages/coq-compcert/coq-compcert.3.11/opam
@@ -31,7 +31,7 @@ install: [
 ]
 depends: [
   "coq" {>= "8.12.0" & < "8.17~"}
-  "menhir" {>= "20190626" }
+  "menhir" {>= "20190626" & != "dev"}
   "ocaml" {>= "4.05.0"}
   "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
@@ -17,7 +17,7 @@ homepage: "http://compcert.inria.fr/"
 bug-reports: "https://github.com/AbsInt/CompCert/issues"
 depends: [
   "coq" {>= "8.12.0" & < "8.18~"}
-  "menhir" {>= "20190626"}
+  "menhir" {>= "20190626" & != "dev"}
   "ocaml" {>= "4.05.0"}
   "coq-flocq" {>= "4.1.0" & < "5~"}
   "coq-menhirlib" {>= "20190626"}