{ mkDerivation, base, containers, fetchurl, random, rdtsc
, transformers
}:
mkDerivation {
  pname = "picosat";
  version = "0.1.4";
  src = fetchurl {
    url = "http://example.org/";
    sha256 = "abc";
  };
  libraryHaskellDepends = [ base containers transformers ];
  testHaskellDepends = [ base containers random rdtsc transformers ];
  homepage = "https://github.com/sdiehl/haskell-picosat";
  description = "Bindings to the PicoSAT solver";
  license = stdenv.lib.licenses.mit;
}