bump openEXR to 1.7.1
bump Soprano to 2.9.0
Add a working mirror for xcb-util-renderutil
Add KDE 4.10.2. Not ready for production yet, but does compile.
Fixing the startup script of freenet; I forgot the shebang
guile: update to 2.0.9
guile: fix non-GNU builds
xfce4notifyd: bugfix update, check now, minor fixes
Update E prover
ghc: add version 7.6.3 (and a corresponding package set)
all-packages.nix: strip trailing whitespace