Merge pull request #122 from proux01/opam

Update opam file following removal of Stdlib dep
math-comp · Feb 25, 2025 · 02bf0e8 · 02bf0e8
2 parents e395fc1 + 4f1a994
commit 02bf0e8
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/coq-mathcomp-finmap.opam b/coq-mathcomp-finmap.opam
@@ -21,8 +21,9 @@ which will be used to subsume notations for finite sets, eventually."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" { (>= "8.18" & < "8.21~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "2.0" & < "2.4~") | (= "dev") }
+  ("coq" {>= "8.18" & < "8.21~"}
+  | "rocq-core" {>= "9.0" | = "dev"})
+  "coq-mathcomp-ssreflect" { (>= "2.0" & < "2.4~") | = "dev" }
 ]
 
 tags: [