From ef40777c4532aca1428b85e15394a5648389a8da Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Thu, 5 Dec 2024 11:43:25 +0100 Subject: [PATCH] coq-reglang.1.2.1 works with MC 2.3.0 --- released/packages/coq-reglang/coq-reglang.1.2.1/opam | 2 +- 1 file changed, 1 insertion(+), 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 index 06d5093a12..ca645f2503 100644 --- 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"} ]