Added llpp, a mupdf based pdf pager written in ocaml.
Updated lablgl to 1.05 and mupdf to 1.4.
Added myself as maintainer for lablgl.
prooftree: new expression 0.12
kernel: 3.14.5 -> 3.14.6 (close #2868)
Use the libav version compatible with our gstreamer version
Merge pull request #2762 from pSub/llpp

Added llpp, a mupdf based pdf pager written in ocaml.
haskell-bytes: new expression
crafty: specify the support platforms
nixos/statsd-service: fix 'graphitePort' default value

graphitePort must point to the port that carbon-cache listens on, not
the graphite webUI port.

With this change I finally got data from statsd to graphite.
spring: fix runtime dependency on udev
springlobby: 0.186 -> 0.195
openra: runtime dependency on systemd
muen: Add derivation
gnat: Update to gcc 4.8
spark-ada: Add derivations