Michael Raskin d03599f8ce Adding TPTP ... svn path=/nixpkgs/trunk/; revision=27468		2011-06-15 10:35:18 +00:00
..
audio
display-managers/slim
editors
graphics	Updating giv.	2011-06-15 08:59:02 +00:00
misc
networking
office
science	Adding TPTP	2011-06-15 10:35:18 +00:00
taxes
version-management
video
virtualization	QEMU: Build with ncurses support.	2011-06-14 16:28:17 +00:00
window-managers