Merge pull request #3234 from palmskog/reglang-mc-2.3.0

coq-reglang.1.2.1 works with MC 2.3.0
coq · Dec 5, 2024 · 8b5016c · 8b5016c
2 parents 504588c + ef40777
commit 8b5016c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-reglang/coq-reglang.1.2.1/opam b/released/packages/coq-reglang/coq-reglang.1.2.1/opam
@@ -19,7 +19,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" {>= "8.16" & < "8.21"}
-  "coq-mathcomp-ssreflect" {>= "2.0" & < "2.3"}
+  "coq-mathcomp-ssreflect" {>= "2.0" & < "2.4"}
   "coq-hierarchy-builder" {>= "1.4.0"}
 ]