nixpkgs/pkgs/applications
Marco Maggesi 5ca0b381e0 Update HOL Light to rev 141
svn path=/nixpkgs/trunk/; revision=34290
2012-05-30 20:53:13 +00:00
..
audio Updating Ardour 3 to beta 4a 2012-05-26 17:29:31 +00:00
display-managers/slim slim needs libpng-1.2.x 2012-01-08 21:33:55 +00:00
editors magit: updated to version 1.1.1 2012-04-20 22:37:30 +00:00
graphics Adding zgrviewer 2012-05-18 09:32:02 +00:00
misc xmobar: enable optional wireless support 2012-05-29 07:44:01 +00:00
networking * Pan 0.137. 2012-05-16 20:04:56 +00:00
office haskell-hledger-interest: updated to version 1.4.1 2012-05-29 20:47:29 +00:00
science Update HOL Light to rev 141 2012-05-30 20:53:13 +00:00
taxes * It's that time of year again. 2012-03-10 19:23:04 +00:00
version-management git-annex: updated to version 3.20120522 2012-05-22 19:46:37 +00:00
video mplayer: enabled speex support 2012-05-09 10:01:35 +00:00
virtualization virtinst installs now. still most tools don't work and virt-manager still has problems with finding libvirt. 2012-05-10 19:29:54 +00:00
window-managers Added i3wm. Added newer version of file. (this time tested, I screwed up a patch by garbas) 2012-04-30 14:34:57 +00:00