Merge pull request #99 from proux01/opam

Update opam file following removal of Stdlib dep
math-comp · Feb 25, 2025 · 3f697b7 · 3f697b7
2 parents 625f3a8 + b801e9d
commit 3f697b7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/coq-mathcomp-multinomials.opam b/coq-mathcomp-multinomials.opam
@@ -8,7 +8,8 @@ authors: ["Pierre-Yves Strub"]
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq"                    {(>= "8.18" & < "8.21~") | = "dev"}
+  ("coq" {>= "8.18" & < "8.21~"}
+  | "rocq-core" {>= "9.0" | = "dev"})
   "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.4~") | = "dev"}
   "coq-mathcomp-algebra"
   "coq-mathcomp-bigenough" {(>= "1.0" & < "1.1~") | = "dev"}