mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-18 10:56:53 +00:00
Code Issues Wiki Activity
74519 commits 183 branches 125 tags 6.7 GiB
Commit graph

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