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?
I'd say so, they are in the same repo after all.
Last updated: Mar 29 2024 at 07:01 UTC