nixpkgs

Author	SHA1	Message	Date
Robin Gloster	9afe794f5e	coqPackages.contribs.Bertrand: fix hash	2016-02-08 10:10:38 +00:00
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