haskell-ghc-gc-tune: new expression
nixos: only enable spipe when user specifies

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

This comes with several extra libraries, including GraphSCC, monadLib,
presburger, process and smtLib, all required as build dependencies. But
otherwise totally automated via cabal2nix.

Next up is CVC4 (a total pain in the ass to package) for proving/SAT
support.

I have another WIP branch for the unfree 1.x series which I may (or may
not) add later as it has external verification tech at the moment.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Merge pull request #2389 from bennofs/haskell-ghc-gc-tune

haskell-ghc-gc-tune: new expression
haskell: Added enumset 0.0.4 and jack 0.7.0.2.
Add php 5.3 variant with fpm support
Merge pull request #2390 from ertes/ertes-haskell-jack

haskell: Added enumset and jack.
Add tzdata Haskell package
Add tz Haskell package
Fix ‘nixos-container run’

By default, socat only waits 0.5s for the remote side to finish after
getting EOF on the local side. So don't close the local side, instead
wait for socat to exit when the remote side finishes.

http://hydra.nixos.org/build/10663282
Make some tests release-critical
capnproto: Add package
Give the KDE test more memory
switch-to-configuration: Use systemctl's --no-legend flag
Merge pull request #2392 from cstrahan/capnproto

capnproto: Add package
nixpkgs: Add cryptol2 expression

This is just a convenient shorthand so people don't have to spell out
haskellPackages.cryptol

Note that the top-level expression is named 'cryptol2' but the package
isn't. That's because Cryptol is a library and other things could depend
on it (hence the vanilla name), but also the full name will be
disambiguated as 'haskell-cryptol-ghc7.6.3' anyway.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cpuminer: Upgrade to 2.3.3
pycapnp: Add package
Add haskell-hmatrix-special-0.2.0
lvtk: Upgrade to 1.2.0 and switch to github tarball