GitHub repository: mattam82/platform
Description: Multi platform setup for Coq, Coq libraries and tools