Michael Raskin d03599f8ce Adding TPTP ... svn path=/nixpkgs/trunk/; revision=27468		2011-06-15 10:35:18 +00:00
doc	* Typo (reported by Federico D. Sacerdoti).	2011-05-03 08:51:02 +00:00
maintainers	GNU GRUB 1.99.	2011-06-13 20:52:32 +00:00
pkgs	Adding TPTP	2011-06-15 10:35:18 +00:00
COPYING
default.nix
STABLE
VERSION