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