@Alexander Gryzlov I'd like to use the dev
opam version of fcsl-pcm in CI for some projects that depend on it using 8.14. Do you mind if I update the constraints to read as follows for maximum freedom (not a lot of people are using extra-dev
opam repo):
depends: [
- "coq" {(>= "8.10" & < "8.13~") | (= "dev")}
- "coq-mathcomp-ssreflect" {(>= "1.10.0" & < "1.12~") | (= "dev")}
+ "coq" {>= "8.11"}
+ "coq-mathcomp-ssreflect" {>= "1.11.0"}
]
I've just updated the Coq constraint to <8.15~
actually.
yes, but this is only the opam file in the repo. I'm talking about the one that lives here: https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages
Ah, then it's fine I guess
since stuff in the extra-dev
repo is not updated a lot, skipping the upper bound usually makes sense, people who use this repo are fine with breakages
Last updated: Mar 28 2024 at 22:01 UTC