The Coq mailing list

[Jacques-Henri Jourdan <jacques-henri.jourdan AT inria.fr>]

Le 02/11/2015 17:44, Guillaume Claret a écrit :
> 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 !

-- 
JH

Attachment: signature.asc
Description: OpenPGP digital signature