nixpkgs/pkgs/applications
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
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
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