Merge pull request #3259 from MP2E/sbv31_update

Update SBV to v3.1
This commit is contained in:
John Wiegley 2014-07-13 17:50:49 -05:00
commit d8a46149eb

View File

@ -1,13 +1,15 @@
{ cabal, deepseq, filepath, HUnit, mtl, QuickCheck, random, syb }:
{ cabal, async, deepseq, filepath, HUnit, mtl, QuickCheck, random
, syb
}:
cabal.mkDerivation (self: {
pname = "sbv";
version = "3.0";
sha256 = "16k9f0x4amg7mm8ib22nyk1rngrbf9311gl2m15hbdq49jp8ik9i";
version = "3.1";
sha256 = "19rn5ynqqjz0zw7gcb0y4clzxxnmq56a2qx369mz283455l86h5j";
isLibrary = true;
isExecutable = true;
buildDepends = [
deepseq filepath HUnit mtl QuickCheck random syb
async deepseq filepath HUnit mtl QuickCheck random syb
];
testDepends = [ filepath HUnit syb ];
meta = {