snapshot
Merge remote-tracking branch 'upstream/master' into haskell-gpipe
snapshot
Update ProofGeneral to version 4.2
i3 window manager: cairo.override with xcbSupport enabled, on par with i3lock
i3 window manager: enable Pango support for antialiased fonts
i3 window manager: version bump from 4.5 to 4.5.1
libopus: update
opus-tools: update
Add dunst, a lightweight notification daemon.

Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
Merge pull request #397 from modulistic/master

i3 improvements
ffmpeg: add opus support, enabled by default
ffmpeg: enabling ffplay

Playing sound, it displays great ffts.
Revert "i3 window manager: cairo.override with xcbSupport enabled, on par with i3lock"

i3 doesn't want cairo at all.

This reverts commit 1eb437784021521d57ae96980bf447e9162d4415.
Merge branch 'haskell-gpipe'
blobby: update to 2.0rc3 (which is called 1.0rc3 on the server for some reason)
mini-httpd: update to version 1.3
haskell-active: update to version 0.1.0.4
haskell-bytestring-lexing: update to version 0.4.2
haskell-diagrams-contrib: update to version 0.6.0.4