coq-mathcomp-apery.1.0.2 supports MathComp 1.17.0 and Coq 8.18

coq · Nov 25, 2023 · afca986 · afca986
1 parent e9a30a5
commit afca986
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/released/packages/coq-mathcomp-apery/coq-mathcomp-apery.1.0.2/opam b/released/packages/coq-mathcomp-apery/coq-mathcomp-apery.1.0.2/opam
@@ -19,8 +19,8 @@ remains the sole trusted code base."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.13" & < "8.17~"}
-  "coq-mathcomp-ssreflect" {>= "1.12" & < "1.16~"}
+  "coq" {>= "8.13" & < "8.19~"}
+  "coq-mathcomp-ssreflect" {>= "1.12" & < "1.18~"}
   "coq-mathcomp-algebra" 
   "coq-mathcomp-field" 
   "coq-coqeal" {>= "1.0.5"}