dpor.nix.golden

{ mkDerivation, base, containers, deepseq, lib, random, semigroups
}:
mkDerivation {
  pname = "dpor";
  version = "0.2.0.0";
  sha256 = "deadbeef";
  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 = lib.licenses.mit;
}