The Coq mailing list

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

Hi coq-club,

Coq 8.5 beta 2 has been released, and now my opam wants to update my
8.4.6 to 8.5. My Coq developments are not compatible to 8.5, so I do not
want this upgrade to happen on my computer.

It seems to me that:
1- It is not a good idea to make a beta available as a default upgrade
in opam
2- It is not a good idea to release 8.5 as an update to 8.4.6, since
mast developments wont compile on both versions. I'd rather publish it
as a different package that needs to be installed separately

Am I the only user of Coq in this situation?

Are the Coq developers sure that all the packages in the opam repo are
compatible with 8.5 (AFAIK, the opam package in opam for CompCert is not) ?

What is the easiest way to forbid opam doing this upgrade ?

-- 
JH Jourdan

Attachment: signature.asc
Description: OpenPGP digital signature