A simple way to manage multiple versions of Coq
Primary LanguageShell
Make sure that realpath is installed.
realpath