From 1e3aa8d3506154b2f4387e01ee03304ba71fd516 Mon Sep 17 00:00:00 2001 From: Aleksandar Nanevski Date: Fri, 27 Sep 2024 18:39:15 +0200 Subject: [PATCH 1/2] changing dependencies for the dev version of coq-fcsl-pcm --- extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam b/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam index a374d17f9..6f3aea7cf 100644 --- a/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam +++ b/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam @@ -9,8 +9,8 @@ license: "Apache-2.0" build: [ make "-j%{jobs}%" ] install: [ make "install" ] depends: [ - "coq" {>= "8.15"} - "coq-mathcomp-ssreflect" {>= "1.15.0" & < "2.0"} + "coq" { (>= "8.19" & < "8.21~") | (= "dev") } + "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.3~") | (= "dev") } "coq-mathcomp-algebra" ] tags: [ From 88212b1707f2199e871806426ae237e799ef4c39 Mon Sep 17 00:00:00 2001 From: Aleksandar Nanevski Date: Fri, 27 Sep 2024 18:46:45 +0200 Subject: [PATCH 2/2] Update extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam Co-authored-by: Karl Palmskog --- extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam b/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam index 6f3aea7cf..9fcfce641 100644 --- a/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam +++ b/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam @@ -9,8 +9,8 @@ license: "Apache-2.0" build: [ make "-j%{jobs}%" ] install: [ make "install" ] depends: [ - "coq" { (>= "8.19" & < "8.21~") | (= "dev") } - "coq-mathcomp-ssreflect" { (>= "2.2.0" & < "2.3~") | (= "dev") } + "coq" {>= "8.19"} + "coq-mathcomp-ssreflect" {>= "2.2.0"} "coq-mathcomp-algebra" ] tags: [