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
Karn Kallio 135fe9059f ProofGeneral 4.1 
svn path=/nixpkgs/trunk/; revision=30863
2011-12-13 01:13:46 +00:00
doc Fix typo in release-notes 2011-10-02 09:24:23 +00:00
maintainers gnupdate: Remove quirks for GNUnet. 2011-12-04 13:48:57 +00:00
pkgs ProofGeneral 4.1 2011-12-13 01:13:46 +00:00
COPYING
default.nix
STABLE
VERSION