Stream: math-comp devs

Topic: Ruling out betas for released packages in OPAM


view this post on Zulip Karl Palmskog (Jun 11 2020 at 09:34):

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.

view this post on Zulip Cyril Cohen (Jun 11 2020 at 16:00):

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.

view this post on Zulip Karl Palmskog (Jun 11 2020 at 16:06):

@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.

view this post on Zulip Cyril Cohen (Jun 11 2020 at 16:09):

Yes, I am popping this from my stack of todos right now...


Last updated: Aug 11 2022 at 02:03 UTC