The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

On 10/14/2013 09:55 AM, Thomas Braibant wrote:

Indeed, various Coq versions should coexist each with its own set of packages, and switching from one version to another should not involve recompiling Coq. My own way of doing this used to be symlinks (install various versions of coq in coqs, and do "rm coq; ln -s coqs/whateverversion coq"). Sure you do not have to recompile coqs to do that, and I bet you do something similar. 

I just keep around various source distributions and run "make install" for the one I want to switch to.  The only issues I've run into are from libraries installed to standard system-level locations, which can confuse Coq versions that aren't the ones they were compiled with.  I never intentionally use system-level library installation, anyway, so I'm mostly satisfied with this simple approach!