Update OPAM file

math-comp · Feb 26, 2023 · de30740 · de30740
1 parent 8ac3220
commit de30740
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/coq-mathcomp-dioid.opam b/coq-mathcomp-dioid.opam
@@ -15,10 +15,10 @@ build: [
 install: [make "install"]
 
 depends: [
-  "coq" { >= "8.11" & < "8.14~" }
-  "coq-mathcomp-ssreflect" { >= "1.12" & < "1.14~" }
-  "coq-mathcomp-analysis" { >= "0.3.9" & < "0.4~" }
-  "coq-hierarchy-builder" { = "1.0.0" }
+  "coq" { >= "8.15" & < "8.18~" }
+  "coq-mathcomp-algebra" { >= "2.0" & < "2.1~" }
+  "coq-mathcomp-classical" { >= "0.6.0" & < "0.7~" }
+  "coq-hierarchy-builder" { >= "1.4.0" }
 ]
 synopsis: "Dioid"
 description: """