Merge pull request #3349 from silene/menhirlib

silene · web-flow · commit 030ae4549dd1 · 2025-02-19T17:57:44.000+01:00
Mark some versions of menhirlib as incompatible with Coq 8.19.
diff --git a/released/packages/coq-menhirlib/coq-menhirlib.20210928/opam b/released/packages/coq-menhirlib/coq-menhirlib.20210928/opam
@@ -15,7 +15,7 @@ install: [
   [make "-C" "coq-menhirlib" "install"]
 ]
 depends: [
-  "coq" { >= "8.7" }
+  "coq" { >= "8.7" & < "8.19" }
 ]
 conflicts: [
   "menhir" { != "20210928" }
diff --git a/released/packages/coq-menhirlib/coq-menhirlib.20210929/opam b/released/packages/coq-menhirlib/coq-menhirlib.20210929/opam
@@ -15,7 +15,7 @@ install: [
   [make "-C" "coq-menhirlib" "install"]
 ]
 depends: [
-  "coq" { >= "8.7" }
+  "coq" { >= "8.7" & < "8.19" }
 ]
 conflicts: [
   "menhir" { != "20210929" }
diff --git a/released/packages/coq-menhirlib/coq-menhirlib.20211012/opam b/released/packages/coq-menhirlib/coq-menhirlib.20211012/opam
@@ -15,7 +15,7 @@ install: [
   [make "-C" "coq-menhirlib" "install"]
 ]
 depends: [
-  "coq" { >= "8.7" }
+  "coq" { >= "8.7" & < "8.19" }
 ]
 conflicts: [
   "menhir" { != "20211012" }
diff --git a/released/packages/coq-menhirlib/coq-menhirlib.20211125/opam b/released/packages/coq-menhirlib/coq-menhirlib.20211125/opam
@@ -15,7 +15,7 @@ install: [
   [make "-C" "coq-menhirlib" "install"]
 ]
 depends: [
-  "coq" { >= "8.7" }
+  "coq" { >= "8.7" & < "8.19" }
 ]
 conflicts: [
   "menhir" { != "20211125" }
diff --git a/released/packages/coq-menhirlib/coq-menhirlib.20211128/opam b/released/packages/coq-menhirlib/coq-menhirlib.20211128/opam
@@ -16,7 +16,7 @@ install: [
   [make "-C" "coq-menhirlib" "install"]
 ]
 depends: [
-  "coq" { >= "8.7" }
+  "coq" { >= "8.7" & < "8.19" }
 ]
 conflicts: [
   "menhir" { != "20211128" }
diff --git a/released/packages/coq-menhirlib/coq-menhirlib.20211230/opam b/released/packages/coq-menhirlib/coq-menhirlib.20211230/opam
@@ -16,7 +16,7 @@ install: [
   [make "-C" "coq-menhirlib" "install"]
 ]
 depends: [
-  "coq" { >= "8.7" }
+  "coq" { >= "8.7" & < "8.19" }
 ]
 conflicts: [
   "menhir" { != version }
diff --git a/released/packages/coq-menhirlib/coq-menhirlib.20220210/opam b/released/packages/coq-menhirlib/coq-menhirlib.20220210/opam
@@ -16,7 +16,7 @@ install: [
   [make "-C" "coq-menhirlib" "install"]
 ]
 depends: [
-  "coq" { >= "8.7" }
+  "coq" { >= "8.7" & < "8.19" }
 ]
 conflicts: [
   "menhir" { != version }
diff --git a/released/packages/coq-menhirlib/coq-menhirlib.20230415/opam b/released/packages/coq-menhirlib/coq-menhirlib.20230415/opam
@@ -16,7 +16,7 @@ install: [
   [make "-C" "coq-menhirlib" "install"]
 ]
 depends: [
-  "coq" { >= "8.7" }
+  "coq" { >= "8.7" & < "8.19" }
 ]
 conflicts: [
   "menhir" { != version }
diff --git a/released/packages/coq-menhirlib/coq-menhirlib.20230608/opam b/released/packages/coq-menhirlib/coq-menhirlib.20230608/opam
@@ -16,7 +16,7 @@ install: [
   [make "-C" "coq-menhirlib" "install"]
 ]
 depends: [
-  "coq" { >= "8.7" }
+  "coq" { >= "8.7" & < "8.19" }
 ]
 conflicts: [
   "menhir" { != version }

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ install: [`
`15`	`15`	`[make "-C" "coq-menhirlib" "install"]`
`16`	`16`	`]`
`17`	`17`	`depends: [`
`18`		`- "coq" { >= "8.7" }`
	`18`	`+ "coq" { >= "8.7" & < "8.19" }`
`19`	`19`	`]`
`20`	`20`	`conflicts: [`
`21`	`21`	`"menhir" { != "20210928" }`
Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ install: [`
`16`	`16`	`[make "-C" "coq-menhirlib" "install"]`
`17`	`17`	`]`
`18`	`18`	`depends: [`
`19`		`- "coq" { >= "8.7" }`
	`19`	`+ "coq" { >= "8.7" & < "8.19" }`
`20`	`20`	`]`
`21`	`21`	`conflicts: [`
`22`	`22`	`"menhir" { != "20211128" }`