herbstluftwm: update to 0.6.2
jdk7: update patchversion 51 -> 55.
Bump mpv to 0.3.8
Add subtitle option for ffmpeg.
Fix whitespace
Shea told me composableDerivation is hard to understand.

Thus comment it and why it was written long time ago until it'll get replaced piecewise.
haskell-ghc-mod: disable test suite to fix build with GHC 7.8.2

https://github.com/kazu-yamamoto/ghc-mod/issues/242
haskell-ghc-mod: make sure GHC <7.8 and >7.8 pick the same datadir install path
pkgs/build-support/cabal: revert "the release version of GHC 7.8.x no longer requires"

This reverts commit a2a398fbda842594ab17d0b98f68dba4c51e49e8. The
issue *does* still exist in GHC 7.8.2. Compiled binaries have no -rpath
into their own install directory ("$out") and thus cannot find their own
shared libraries. To work around this issue, we pass an explicit -rpath
argument at configure time. We do that only on Linux, though, because
-rpath is known to cause trouble on Darwin, which was the reason I
originally reverted that patch.
cabal-bounds: re-generate with cabal2nix
haskell-ghc-mod: re-generate with cabal2nix
btsync: remove unneeded assertion

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add licenses for CompCert/Z3

Both of these allow for binary redistribution.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
z3/verifast: update license

Signed-off-by: Austin Seipp <aseipp@pobox.com>
nixpkgs: add CompCert

Signed-off-by: Austin Seipp <aseipp@pobox.com>
nixpkgs: move frama-c to a more appropriate directory

Signed-off-by: Austin Seipp <aseipp@pobox.com>
btsync: Default to no login/password for the Web UI

Signed-off-by: Austin Seipp <aseipp@pobox.com>
nginx: build http_stub_status module

Signed-off-by: Austin Seipp <aseipp@pobox.com>
nixos: overhaul datadog module

This overhauls the Datadog module a bit to be much more useful. In
particular, it adds support for nginx and postgresql monitoring
integrations to dd-agent. These have to exist in separate files under
/etc/dd-agent, so the module just exposes then as separate options. In
the future, more integrations could be added this way.

In the process of doing this, I also had to rename the dd-agent user to
datadog. Note the UIDs did not change, so this is strictly backwards
compatible. The reason for this is to make it easier to create a
'datadog' postgres user with access to pg_stats, as 'dd-agent' typically
isn't a valid username. This allows the out of the box configurations to
be used.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
nginx: upgrade to 1.6.0, expose many more modules

By default, we now build all the optional nginx modules, including the
out-of-band ones like moreheaders and rtmp support.

Signed-off-by: Austin Seipp <aseipp@pobox.com>