The Coq mailing list

[Thomas Braibant <thomas.braibant AT gmail.com>]

> 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.

This is exactly what my prototype does.

Then, you raised (privately) the issue of "not having to recompile
libraries". I wonder to what extent it could be handled by having
various aliases for the same coq installation, with various package
sets.