Marco Maggesi 8e5beab31f Fix building of Isabelle2011 ...

svn path=/nixpkgs/trunk/; revision=27253

2011-05-14 21:09:57 +00:00

..

audio

Alpha 2 is quite old, and they haven't tagged Alpha 3 or 4 so updating to a recent revision instead

2011-05-09 20:27:06 +00:00

display-managers/slim

* slim: update to 1.3.2.

2011-02-14 10:15:48 +00:00

editors

ProofGeneral 4.0

2011-05-14 20:59:53 +00:00

graphics

Updating hugin. At least it builds.

2011-05-06 22:33:50 +00:00

misc

* Remove dummy line that got committed accidentally.

2011-05-11 11:06:57 +00:00

networking

notmuch-0.6-rc4

2011-05-11 10:33:01 +00:00

office

* Sync with the trunk.

2011-03-28 20:22:30 +00:00

science

Fix building of Isabelle2011

2011-05-14 21:09:57 +00:00

taxes

* Add Aangifte 2010.

2011-03-23 16:06:36 +00:00

version-management

left over commit

2011-05-09 14:59:58 +00:00

video

Updating vlc

2011-04-25 10:53:07 +00:00

virtualization

svn path=/nixpkgs/trunk/; revision=27225

2011-05-11 13:55:50 +00:00

window-managers

Fix JWM build

2011-03-17 19:21:26 +00:00