From bfda6459c659780770b69aaa201dbfd7bb53e949 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 3 Sep 2023 12:10:42 +0200 Subject: [PATCH 1/2] coq-algorand.1.4 is not compatible with mathcomp 2.0 --- released/packages/coq-algorand/coq-algorand.1.4/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/released/packages/coq-algorand/coq-algorand.1.4/opam b/released/packages/coq-algorand/coq-algorand.1.4/opam index 689bee46c..138a81d60 100644 --- a/released/packages/coq-algorand/coq-algorand.1.4/opam +++ b/released/packages/coq-algorand/coq-algorand.1.4/opam @@ -18,9 +18,9 @@ build: [make "-j%{jobs}%"] install: [make "install"] depends: [ "coq" {>= "8.14"} - "coq-mathcomp-ssreflect" {>= "1.14"} + "coq-mathcomp-ssreflect" {>= "1.14" & < "2.0"} "coq-mathcomp-algebra" - "coq-mathcomp-finmap" {>= "1.5.1"} + "coq-mathcomp-finmap" {>= "1.5.1" & < "2.0"} "coq-mathcomp-analysis" {>= "0.5.0"} "coq-mathcomp-zify" "coq-record-update" From c570b5cb61d0851151a38e9271a32e87234aacb7 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 3 Sep 2023 12:11:22 +0200 Subject: [PATCH 2/2] coq-disel.2.3 is not compatible with mathcomp 2.0 --- released/packages/coq-disel/coq-disel.2.3/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/released/packages/coq-disel/coq-disel.2.3/opam b/released/packages/coq-disel/coq-disel.2.3/opam index 7330b5c3b..b049cb7d7 100644 --- a/released/packages/coq-disel/coq-disel.2.3/opam +++ b/released/packages/coq-disel/coq-disel.2.3/opam @@ -20,7 +20,7 @@ build: ["dune" "build" "-p" name "-j" jobs] depends: [ "dune" {>= "2.5"} "coq" {>= "8.14"} - "coq-mathcomp-ssreflect" {>= "1.13"} + "coq-mathcomp-ssreflect" {>= "1.13" & < "2.0"} "coq-fcsl-pcm" {>= "1.7.0"} "coq-htt" {>= "1.2.0"} ]