mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-21 05:00:16 +00:00
Code Issues Wiki Activity

haskell: sbv 3.0

Browse source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2014-04-08 10:12:52 -05:00
parent caf98828bb
commit 57cfb4315e
2 changed files with 21 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
pkgs/development/libraries/haskell/sbv/default.nix Normal file
View file

@ -0,0 +1,19 @@
{ cabal, deepseq, filepath, HUnit, mtl, QuickCheck, random, syb }:
cabal.mkDerivation (self: {
pname = "sbv";
version = "3.0";
sha256 = "16k9f0x4amg7mm8ib22nyk1rngrbf9311gl2m15hbdq49jp8ik9i";
isLibrary = true;
isExecutable = true;
buildDepends = [
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;
};
})

2
pkgs/top-level/haskell-packages.nix
View file

@ -2207,6 +2207,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
SafeSemaphore = callPackage ../development/libraries/haskell/SafeSemaphore {};
sbv = callPackage ../development/libraries/haskell/sbv {};
scientific = callPackage ../development/libraries/haskell/scientific {};
scotty = callPackage ../development/libraries/haskell/scotty {};