cabal2nix-2.8.2: test/golden-test-cases/dpor.nix.golden
{ mkDerivation, base, containers, deepseq, fetchurl, random
, semigroups
}:
mkDerivation {
pname = "dpor";
version = "0.2.0.0";
src = fetchurl {
url = "http://example.org/";
sha256 = "abc";
};
libraryHaskellDepends = [
base containers deepseq random semigroups
];
homepage = "https://github.com/barrucadu/dejafu";
description = "A generic implementation of dynamic partial-order reduction (DPOR) for testing arbitrary models of concurrency";
license = stdenv.lib.licenses.mit;
}