Just wanted to check if it's a conscious choice to rule out compatibility with betas in released
MC OPAM packages. For example, the following constraint rules out betas: >= "1.11.0"
while the following does not: >= "1.11"
. In this PR the former kind of constraint is used.
Karl Palmskog said:
Just wanted to check if it's a conscious choice to rule out compatibility with betas in
released
MC OPAM packages. For example, the following constraint rules out betas:>= "1.11.0"
while the following does not:>= "1.11"
. In this PR the former kind of constraint is used.
Yes it is a conscious choice as mathcomp-analysis and mathcomp-real-closed are not compatible with 1.11+beta1.
@Cyril Cohen then could you take a quick look at my other small nitpicks in the opam-archive PRs? I think they should be uncontroversial to apply.
Yes, I am popping this from my stack of todos right now...
Last updated: May 31 2023 at 02:31 UTC