Fix reverse dependencies of coq 9.0 package

Author: mattam82

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: [

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}