Marco Maggesi ff3b0ed420 Update HOL Light to r116 ... svn path=/nixpkgs/trunk/; revision=31125		2011-12-28 12:45:59 +00:00
..
applications	Update HOL Light to r116	2011-12-28 12:45:59 +00:00
build-support	use simple version compare in stead of timestamps to determine newer package	2011-12-27 12:56:07 +00:00
data	shared-desktop-ontologies-0.8.1	2011-12-15 20:16:46 +00:00
desktops	kdelibs: remove unused parameter	2011-12-16 19:38:43 +00:00
development	haskell-wai-logger: updated to version 0.1.2	2011-12-28 10:31:37 +00:00
games	beret: Store game status in home directory	2011-12-21 18:18:15 +00:00
lib
misc
os-specific	A newer rc	2011-12-26 04:20:15 +00:00
servers	Upgrading CouchDB to 1.1.1 with SpiderMonkey 185	2011-12-15 12:24:25 +00:00
shells
stdenv
test
tools	Adding smbldap-tools. And some CPAN packages as bonus.	2011-12-27 21:35:50 +00:00
top-level	Adding smbldap-tools. And some CPAN packages as bonus.	2011-12-27 21:35:50 +00:00