fix

coq-monae.opam

@@ -18,12 +18,12 @@ in several examples of monadic equational reasoning."""
 build: [make "-j%{jobs}%" ]
 install: [make "install_full"]
 depends: [
-  "coq" { (>= "8.13" & < "8.15~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "1.13.0" & < "1.14~") | (= "dev")  }
-  "coq-mathcomp-fingroup" { (>= "1.13.0" & < "1.14~") | (= "dev")  }
-  "coq-mathcomp-algebra" { (>= "1.13.0" & < "1.14~") | (= "dev")  }
-  "coq-mathcomp-solvable" { (>= "1.13.0" & < "1.14~") | (= "dev")  }
-  "coq-mathcomp-field" { (>= "1.13.0" & < "1.14~") | (= "dev")  }
+  "coq" { (>= "8.13" & < "8.16~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "1.13.0" & < "1.15~") | (= "dev")  }
+  "coq-mathcomp-fingroup" { (>= "1.13.0" & < "1.15~") | (= "dev")  }
+  "coq-mathcomp-algebra" { (>= "1.13.0" & < "1.15~") | (= "dev")  }
+  "coq-mathcomp-solvable" { (>= "1.13.0" & < "1.15~") | (= "dev")  }
+  "coq-mathcomp-field" { (>= "1.13.0" & < "1.15~") | (= "dev")  }
   "coq-mathcomp-analysis" { (>= "0.3.11" & < "0.4~") }
   "coq-infotheo" { >= "0.3.5" & < "0.4~"}
   "coq-paramcoq" { >= "1.1.3" & < "1.2~" }

meta.yml

@@ -36,7 +36,7 @@ license:
 
 supported_coq_versions:
   text: Coq 8.13
-  opam: '{ (>= "8.13" & < "8.15~") | (= "dev") }'
+  opam: '{ (>= "8.13" & < "8.16~") | (= "dev") }'
 
 tested_coq_opam_versions:
 - version: '1.13.0-coq-8.13'
@@ -55,27 +55,27 @@ tested_coq_opam_versions:
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{ (>= "1.13.0" & < "1.14~") | (= "dev")  }'
+    version: '{ (>= "1.13.0" & < "1.15~") | (= "dev")  }'
   description: |-
     [MathComp ssreflect](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-fingroup
-    version: '{ (>= "1.13.0" & < "1.14~") | (= "dev")  }'
+    version: '{ (>= "1.13.0" & < "1.15~") | (= "dev")  }'
   description: |-
     [MathComp fingroup](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-algebra
-    version: '{ (>= "1.13.0" & < "1.14~") | (= "dev")  }'
+    version: '{ (>= "1.13.0" & < "1.15~") | (= "dev")  }'
   description: |-
     [MathComp algebra](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-solvable
-    version: '{ (>= "1.13.0" & < "1.14~") | (= "dev")  }'
+    version: '{ (>= "1.13.0" & < "1.15~") | (= "dev")  }'
   description: |-
     [MathComp solvable](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-field
-    version: '{ (>= "1.13.0" & < "1.14~") | (= "dev")  }'
+    version: '{ (>= "1.13.0" & < "1.15~") | (= "dev")  }'
   description: |-
     [MathComp field](https://math-comp.github.io)
 - opam: