GitHub repository: ppedrot/coq-contribs
Created: 2015-02-23T20:03:21Z
Description: A list of contributions of Coq as git submodules