2 commits

Author	SHA1	Message	Date
Vincent Laporte	587f127e93	coq-contribs: fix various packages	2015-03-01 17:53:51 +01:00
Vincent Laporte	88d31f6db0	coqPackages: add contribs (close #5242) ... The Coq Users' Contributions Homepage: http://www.lix.polytechnique.fr/coq/pylons/contribs/index	2015-01-25 07:36:10 +01:00