The Coq mailing list

[Théo Zimmermann <theo.zimmi AT gmail.com>]

Hello,

Thanks for raising this question.

I was personally quite shocked by the decision of OPAM maintainers to almost freeze the OPAM 1.2 repository when OPAM 2.0 was released (seemed pretty aggressive to me). Especially since IIUC OPAM is not able to upgrade itself. But then, I am not an OPAM user myself so my view might be prejudiced.

So let's have this discussion: please share your opinion if you have one.

If we decide to continue providing an OPAM package for OPAM 1.2 users, it should be pretty straightforward to do so using Coq's own OPAM repository http://coq.inria.fr/opam/released, the same one that is currently used to distribute Coq plugins and libraries.

If we decide against doing so, it might hinder adoption of Coq 8.8.2 and upcoming Coq 8.9.0 (not a good thing). It could also lead to the weird situation that users are able to test Coq 8.9+beta1 through https://coq.inria.fr/opam/core-dev/ but are then not able to upgrade from the beta to the final version. So a priori, I am personally in favor of continued OPAM 1.2 support (but again I'm not in the best position to form an opinion given that I don't use OPAM).

Best,

Théo

Le jeu. 4 oct. 2018 à 23:42, Christian Doczkal <christian.doczkal AT ens-lyon.fr> a écrit :

On 10/04/2018 09:08 PM, Théo Zimmermann wrote:
> FYI, the signed Windows packages are now available on the release page, and the OPAM package is now ready (for OPAM 2.0 users) thanks to Heiko Becker.

Will there be an OPAM package for OPAM 1.2.x users? As of now, OPAM 2.0 has yet to arrive in the Gentoo or Ubuntu repositories. Other distributions will likely also still ship 1.2.x.

Best,
Christian