Karl Palmskog (Jan 24 2022 at 16:01): Karl Palmskog (Jan 24 2022 at 16:01):I have been doing these kinds of dependency specification in opam for some time:
"coq-mathcomp-ssreflect" {>= "1.12.0" & < "1.15~"}
"coq-mathcomp-fingroup"
"coq-mathcomp-algebra"
This is using the fact that the coq-mathcomp-ssreflect version unambiguously defines the coq-mathcomp-fingroup and coq-mathcomp-algebra versions. I think that we can trust this to be the case for future versions until further notice, right?
Enrico Tassi (Jan 24 2022 at 16:04):I'd say so, they are in the same repo after all.
Last updated: Feb 08 2023 at 08:02 UTC