Marco Maggesi 7c90b6a9bc Update HOL Light to rev 122. ... svn path=/nixpkgs/trunk/; revision=31956		2012-02-01 14:37:50 +00:00
..
audio	* Updated Spotify to 0.6.6.10.	2012-01-30 16:44:56 +00:00
display-managers/slim	* slim: update to 1.3.2.	2011-02-14 10:15:48 +00:00
editors	emacs htmlize: fix of broken source url.	2012-01-24 22:06:35 +00:00
graphics	Fix mismatch...	2012-01-26 19:39:45 +00:00
misc	ikiwiki: updated to version 3.20120115	2012-01-30 11:40:16 +00:00
networking	kwooty expression: slight improvement of the build inputs.	2012-01-26 23:24:40 +00:00
office	I revert the previous change to libreoffice.	2012-01-27 15:14:29 +00:00
science	Update HOL Light to rev 122.	2012-02-01 14:37:50 +00:00
taxes	* Add Aangifte 2010.	2011-03-23 16:06:36 +00:00
version-management	git-annex: updated to version 3.20120123	2012-01-25 16:07:52 +00:00
video	Patching the prefix, since it is hardcoded. The application seems to work correctly now, although it does crash with my current gtk theme (oxygen) when adding a stream. Using the gnome gtk-icon-theme does work, but this is probably just a bug in the oxygen gtk theme and should be fixed there.	2012-01-29 13:39:30 +00:00
virtualization	applications/virtualization/qemu: Added 0.15.nix	2012-01-07 15:06:49 +00:00
window-managers	* Unbreak icewm. Without -lfontconfig, it barfs with	2012-01-31 14:55:43 +00:00