Michael Raskin 07de46c2fa Update E prover ... svn path=/nixpkgs/trunk/; revision=31269		2012-01-04 10:31:49 +00:00
..
audio	Fix most packages depending on fltk	2012-01-03 10:32:56 +00:00
display-managers/slim	* slim: update to 1.3.2.	2011-02-14 10:15:48 +00:00
editors	In Emacs site-start.el check that NIX_PROFILES is set.	2012-01-04 05:48:38 +00:00
graphics	Fix most packages depending on fltk	2012-01-03 10:32:56 +00:00
misc	Adding a preliminary package for librecad. It fails to install still.	2012-01-03 21:14:14 +00:00
networking	* Firefox updated to 9.0.1.	2012-01-03 15:18:03 +00:00
office	* GnuCash updated to 2.4.8.	2011-12-06 18:44:05 +00:00
science	Update E prover	2012-01-04 10:31:49 +00:00
taxes	* Add Aangifte 2010.	2011-03-23 16:06:36 +00:00
version-management	git-annex: updated to version 3.20111231	2012-01-02 14:51:26 +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	adjusted awesome to generated names of xcbutil-*	2011-12-31 06:14:31 +00:00