Merge pull request #3310 from proux01/coqeal-dev

[extra-dev] Update coq-coqeal.dev
coq · Jan 25, 2025 · 11175e8 · 11175e8
2 parents 858ab2d + 6ac329f
commit 11175e8
Showing 1 changed file with 8 additions and 6 deletions.
diff --git a/extra-dev/packages/coq-coqeal/coq-coqeal.dev/opam b/extra-dev/packages/coq-coqeal/coq-coqeal.dev/opam
@@ -17,12 +17,14 @@ of the ForMath EU FP7 project (2009-2013). It has two parts:
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.10"}
-  "coq-bignums" 
-  "coq-paramcoq" {>= "1.1.3"}
-  "coq-mathcomp-multinomials" {>= "1.5.1"}
-  "coq-mathcomp-algebra" {>= "1.12.0"}
-  "coq-mathcomp-real-closed" {>= "1.1.2"}
+  "coq" {(>= "8.20" & < "9.1~") | (= "dev")}
+  "coq-bignums"
+  "coq-elpi" {>= "2.4.1" | = "dev"}
+  "coq-hierarchy-builder" {>= "1.4.0"}
+  "coq-mathcomp-ssreflect" {>= "2.3"}
+  "coq-mathcomp-algebra"
+  "coq-mathcomp-multinomials" {>= "2.0"}
+  "coq-mathcomp-real-closed" {>= "2.0"}
 ]
 
 tags: [