Multi platform setup for Coq, Coq libraries and tools - View it on GitHub