Merge pull request ocaml#27632 from mattam82/fix-rocq-9.0-revdeps

mseri · web-flow · commit 1a8bbb0ea5d9 · 2025-03-17T22:53:10.000+01:00
Fix rocq 9.0 revdeps
diff --git a/packages/coq-catt-plugin/coq-catt-plugin.1.0/opam b/packages/coq-catt-plugin/coq-catt-plugin.1.0/opam
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/thibautbenjamin/catt/issues"
 depends: [
   "dune" {>= "3.16"}
   "catt"
-  "coq" {>= "8.20"}
+  "coq" {>= "8.20" & < "9.0"}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/packages/why3-coq/why3-coq.1.8.0/opam b/packages/why3-coq/why3-coq.1.8.0/opam
@@ -39,7 +39,7 @@ install: [make "install-coq"]
 
 depends: [
   "conf-autoconf" {build & dev}
-  "coq" {>= "8.16"}
+  "coq" {>= "8.16" & < "9.0"}
   "ocaml" {>= "4.08.0"}
   "ocamlfind" {build}
   "why3" {= version}

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ bug-reports: "https://github.com/thibautbenjamin/catt/issues"`
`11`	`11`	`depends: [`
`12`	`12`	`"dune" {>= "3.16"}`
`13`	`13`	`"catt"`
`14`		`- "coq" {>= "8.20"}`
	`14`	`+ "coq" {>= "8.20" & < "9.0"}`
`15`	`15`	`"odoc" {with-doc}`
`16`	`16`	`]`
`17`	`17`	`build: [`