Stream: math-comp users

Topic: extra-dev constraints for fcsl-pcm


view this post on Zulip Karl Palmskog (Oct 26 2021 at 12:12):

@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"}
 ]

view this post on Zulip Alexander Gryzlov (Oct 26 2021 at 12:13):

I've just updated the Coq constraint to <8.15~ actually.

view this post on Zulip Karl Palmskog (Oct 26 2021 at 12:14):

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

view this post on Zulip Alexander Gryzlov (Oct 26 2021 at 12:15):

Ah, then it's fine I guess

view this post on Zulip Karl Palmskog (Oct 26 2021 at 12:15):

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: Jan 29 2023 at 18:03 UTC