Merge pull request coq#3166 from aleksnanevski/coq-fcsl-pcm.2.0.0

changing dependencies for the dev version of coq-fcsl-pcm
aleksnanevski · Sep 27, 2024 · ef9522c · ef9522c
2 parents 6e457c7 + 88212b1
commit ef9522c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam b/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam
@@ -9,8 +9,8 @@ license: "Apache-2.0"
 build: [ make "-j%{jobs}%" ]
 install: [ make "install" ]
 depends: [
-  "coq" {>= "8.15"}
-  "coq-mathcomp-ssreflect" {>= "1.15.0" & < "2.0"}
+  "coq" {>= "8.19"}
+  "coq-mathcomp-ssreflect" {>= "2.2.0"}
   "coq-mathcomp-algebra"
 ]
 tags: [