Marco Maggesi 5ca0b381e0 Update HOL Light to rev 141 ... svn path=/nixpkgs/trunk/; revision=34290		2012-05-30 20:53:13 +00:00
..
applications	Update HOL Light to rev 141	2012-05-30 20:53:13 +00:00
build-support	* Set the version number of generated Debian packages. Note that dpkg	2012-05-24 15:07:38 +00:00
data	* Linux man-pages updated to 3.41.	2012-05-17 16:07:03 +00:00
desktops	Submitting patch by qknight (Joachim Schiele) to add Gnome2 python bindings	2012-05-21 22:46:40 +00:00
development	haskell-multiplate: patched to support current mtl and transformers	2012-05-29 21:26:15 +00:00
games	updated to a new version	2012-05-01 12:40:57 +00:00
lib	* Add a type "path".	2012-05-25 17:19:07 +00:00
misc	Making a trick on myEnv so I can put the cross gcc and some 'propagatedBuildInputs',	2012-05-25 17:53:37 +00:00
os-specific	Adding mesa and libaio to qemu-kvm. As for libaio, I think it runs much better for IO for me.	2012-05-28 09:13:30 +00:00
servers	mongodb: upgraded to 2.0.5	2012-05-29 07:43:58 +00:00
shells	* Bash 4.2.24.	2012-04-03 11:48:31 +00:00
stdenv	* Sync with the trunk.	2012-05-02 13:19:07 +00:00
test
tools	Fixing a typo in fio	2012-05-29 14:24:10 +00:00
top-level	haskell-defaults.nix: dropped 'packages_ghc741_pedantic' variant, it's identical to 'packages_ghc741' now	2012-05-29 20:16:16 +00:00