The Coq mailing list

[Guillaume Claret <guillaume AT claret.me>]

The 03/11/2015 10:45, Jacques-Henri Jourdan wrote:
> The 02/11/2015 17:44, Guillaume Claret wrote:
> > In OPAM, the default upgrade is always the greater version number
> > available. Thus, this is technically not possible to both have the 8.5b2
> > in the `realeased` repository and a default upgrade to `8.4.6`. (Other
> > package managers, such as npm, interpret the version names so that the
> > betas and alphas are not proposed as updates by default, as you seem to
> > expect).
>
> Well, Camlp5 is never proposed as an update to Camlp4, so I doubt this
> is technically impossible. You juste have to make sure that 8.4 is not
> parsed as a version number by opam, but rather as part of the name of
> the package !

Right, I have never though it that way! :) I hope that next Coq releases
will be more frequent so that there will be no split, but this may be the
way to go for 8.4 vs 8.5.