Merge pull request #3225 from arthuraa/deriving-mathcomp-bound

Add ssreflect bound on deriving 0.2.0 package.
coq · Dec 2, 2024 · ef10083 · ef10083
2 parents ff337de + c3d7fb6
commit ef10083
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-deriving/coq-deriving.0.2.0/opam b/released/packages/coq-deriving/coq-deriving.0.2.0/opam
@@ -10,7 +10,7 @@ build: [ make "-j" "%{jobs}%" "test" {with-test} ]
 install: [ make "install" ]
 depends: [
   "coq" { (>= "8.17" & < "8.21~") | (= "dev") }
-  "coq-mathcomp-ssreflect" {>= "2.0"}
+  "coq-mathcomp-ssreflect" {>= "2.0" & < "2.3~"}
 ]
 
 tags: [