The Coq mailing list

[Cyril Cohen <cohen AT crans.org>]

Hello,

On 13/10/2013 16:37, Enrico Tassi wrote:
> Still you are jumping between experimental implementations of unfinished
> type theories that happen to be based on Coq.  To my eyes, you too do
> not qualify as a regular Coq user.

Then, I know more irregular Coq users than regular ones. And the function I
desire the most in my ideal Coq Package Management system would also be the
ability to switch between various versions of Coq (+ different combinations of
plugins). In fact, opam already has a switch functionality for changing the
version of ocaml at use (and all its dependencies, and to handle the same 
version
of ocaml in an independent context, under an alisas), what I wish the most 
for is
a similar switch for Coq.

Cheers,
-- 
Cyril