From d1b5fe5b9ee367af13e9ffbaf60be436dd4d1e6d Mon Sep 17 00:00:00 2001 From: Alekandar Nanevski Date: Fri, 29 Nov 2024 20:17:21 +0100 Subject: [PATCH 1/2] updating dependencies on coq-mathcomp-ssreflect for version 2.3.0 --- released/packages/coq-fcsl-pcm/coq-fcsl-pcm.2.0.0/opam | 4 ++-- released/packages/coq-htt/coq-htt.2.0.1/opam | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/released/packages/coq-fcsl-pcm/coq-fcsl-pcm.2.0.0/opam b/released/packages/coq-fcsl-pcm/coq-fcsl-pcm.2.0.0/opam index aa73c708f..aba73e283 100644 --- a/released/packages/coq-fcsl-pcm/coq-fcsl-pcm.2.0.0/opam +++ b/released/packages/coq-fcsl-pcm/coq-fcsl-pcm.2.0.0/opam @@ -22,7 +22,7 @@ build: [make "-j%{jobs}%"] install: [make "install"] depends: [ "coq" { (>= "8.19" & < "8.21~") | (= "dev") } - "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.3~") | (= "dev") } + "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.4~") | (= "dev") } "coq-mathcomp-algebra" ] @@ -41,4 +41,4 @@ authors: [ url { src: "https://github.com/imdea-software/fcsl-pcm/archive/v2.0.0.tar.gz" checksum: "sha256=ef2828c682217b7340834bcec4a2b245d2bea93cddb56dbc54efbc877680a96c" -} \ No newline at end of file +} diff --git a/released/packages/coq-htt/coq-htt.2.0.1/opam b/released/packages/coq-htt/coq-htt.2.0.1/opam index 32f8a7c0e..dc4a470db 100644 --- a/released/packages/coq-htt/coq-htt.2.0.1/opam +++ b/released/packages/coq-htt/coq-htt.2.0.1/opam @@ -31,7 +31,7 @@ build: ["dune" "build" "-p" name "-j" jobs] depends: [ "dune" {>= "3.6"} "coq" { (>= "8.19" & < "8.21~") | (= "dev") } - "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.3~") | (= "dev") } + "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.4~") | (= "dev") } "coq-mathcomp-algebra" "coq-mathcomp-fingroup" "coq-fcsl-pcm" { (>= "2.0.0" & < "2.1~") | (= "dev") } From 1bb5d804beec94083057052f74a192e5c577d6c4 Mon Sep 17 00:00:00 2001 From: Alekandar Nanevski Date: Fri, 29 Nov 2024 20:23:02 +0100 Subject: [PATCH 2/2] updating dependence for coq-htt-core on coq-mathcomp-ssreflect 2.3.0 --- released/packages/coq-htt-core/coq-htt-core.2.0.1/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam b/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam index c3cd40962..d1b267a86 100644 --- a/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam +++ b/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam @@ -31,7 +31,7 @@ build: ["dune" "build" "-p" name "-j" jobs] depends: [ "dune" {>= "3.6"} "coq" { (>= "8.19" & < "8.21~") | (= "dev") } - "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.3~") | (= "dev") } + "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.4~") | (= "dev") } "coq-mathcomp-algebra" "coq-mathcomp-fingroup" "coq-fcsl-pcm" { (>= "2.0.0" & < "2.1~") | (= "dev") }