Marco Maggesi 98aaa4421c Add expression for Isabelle2009 ...

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

2009-12-11 17:00:52 +00:00

..

audio

* Idem for gtk-libs/2.16.

2009-10-28 15:31:52 +00:00

display-managers/slim

* slim: ConsoleKit compatibility fix.

2009-08-17 01:09:17 +00:00

editors

Add expression for ProofGeneral

2009-12-11 16:18:27 +00:00

graphics

Adding a new version of the gcc-wrapper, named gcc-wrapper2, in order not to rebuild

2009-12-10 22:19:52 +00:00

misc

removing old bleeding edge cruft replacing it by a niftier version using

2009-12-11 13:58:23 +00:00

networking

removing old bleeding edge cruft replacing it by a niftier version using

2009-12-11 13:58:23 +00:00

office

Add package ledger

2009-11-10 11:02:45 +00:00

science

Add expression for Isabelle2009

2009-12-11 17:00:52 +00:00

taxes

* Got rid of a lot of "postInstall=postInstall" and similar lines in

2009-04-23 13:31:10 +00:00

version-management

git: allow applying patches by config

2009-12-11 13:58:31 +00:00

video

removing old bleeding edge cruft replacing it by a niftier version using

2009-12-11 13:58:23 +00:00

virtualization

Reverted guest additions back to 3.0.10 since 3.1.0 has a new installer. I will look at this installer later

2009-12-02 13:45:42 +00:00

window-managers

Updated xmonad to 0.9.

2009-11-06 13:08:47 +00:00