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

..

all.nix

…

default.nix

…

mk-contrib.nix

…