diff options
Diffstat (limited to 'pkgs/development/libraries/haskell/sbv/default.nix')
-rw-r--r-- | pkgs/development/libraries/haskell/sbv/default.nix | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/pkgs/development/libraries/haskell/sbv/default.nix b/pkgs/development/libraries/haskell/sbv/default.nix deleted file mode 100644 index 492dcd816ed..00000000000 --- a/pkgs/development/libraries/haskell/sbv/default.nix +++ /dev/null @@ -1,23 +0,0 @@ -# This file was auto-generated by cabal2nix. Please do NOT edit manually! - -{ cabal, async, deepseq, filepath, HUnit, mtl, QuickCheck, random -, syb -}: - -cabal.mkDerivation (self: { - pname = "sbv"; - version = "3.3"; - sha256 = "193k7njrd7b0qp865ahbjh32h49b86kyc58laifgq6ka2zv64x2f"; - isLibrary = true; - isExecutable = true; - buildDepends = [ - async deepseq filepath HUnit mtl QuickCheck random syb - ]; - testDepends = [ filepath HUnit syb ]; - meta = { - homepage = "http://leventerkok.github.com/sbv/"; - description = "SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"; - license = self.stdenv.lib.licenses.bsd3; - platforms = self.ghc.meta.platforms; - }; -}) |