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~"}

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: Jul 25 2024 at 16:02 UTC