philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Nix 97.4%
Shell 1.1%
Python 0.5%
Ruby 0.3%
Perl 0.2%
Other 0.2%
Find a file
Russell O'Connor c9f5959285 Update Coq to version 8.4pl2.
2013-06-14 12:16:52 -04:00
doc Rewrite the CPAN generator to Perl 2013-06-13 15:56:23 +02:00
maintainers Rewrite the CPAN generator to Perl 2013-06-13 15:56:23 +02:00
pkgs Update Coq to version 8.4pl2. 2013-06-14 12:16:52 -04:00
.gitignore Rewrite the CPAN generator to Perl 2013-06-13 15:56:23 +02:00
COPYING
default.nix
VERSION