Marco Maggesi 74c3fc3085 Update HOL Light to rev 114 ... svn path=/nixpkgs/trunk/; revision=30922		2011-12-16 07:44:29 +00:00
..
audio	Add ncmpcpp	2011-12-05 01:32:25 +00:00
display-managers/slim	* slim: update to 1.3.2.	2011-02-14 10:15:48 +00:00
editors	ProofGeneral 4.1	2011-12-13 01:13:46 +00:00
graphics	xournal: prepare to poppler upgrade	2011-12-15 08:01:03 +00:00
misc	calibre-0.8.30	2011-12-15 06:58:27 +00:00
networking	Added support for Quake Live to Firefox wrapper.	2011-12-12 17:25:51 +00:00
office	* GnuCash updated to 2.4.8.	2011-12-06 18:44:05 +00:00
science	Update HOL Light to rev 114	2011-12-16 07:44:29 +00:00
taxes	* Add Aangifte 2010.	2011-03-23 16:06:36 +00:00
version-management	Update fossil to version 1.21	2011-12-13 22:19:06 +00:00
video	added libdvbpsi and added it to the dependency list of vlc so that vlc can play DVB	2011-12-06 23:09:19 +00:00
virtualization	Bumped virtualbox version to 4.1.6	2011-11-30 14:44:29 +00:00
window-managers	haskell-xmonad-extras: updated to version 0.10.1	2011-11-28 18:11:27 +00:00