jdk7: update patchversion 51 -> 55.
Bump mpv to 0.3.8
Add subtitle option for ffmpeg.
Fix whitespace
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>
Update haskell-hspec to version 0.9.5
Merge pull request #2470 from sol/master

Update haskell-hspec to version 0.9.5