Stream: math-comp users

Topic: Depending on core MathComp opam packages


view this post on Zulip 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?

view this post on Zulip 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