{ mkDerivation, alex, array, base, binary, blaze-html, bytestring
, Cabal, cabal-doctest, criterion, cryptonite, deepseq, DRBG
, exceptions, fgl, fgl-visualize, filepath, gitrev, hedgehog
, hedgehog-fn, lens, lifted-base, memory, monad-control
, optparse-applicative, parsec, prettyprinter, random
, recursion-schemes, shakespeare, shelly, statistics, stdenv, tasty
, tasty-hedgehog, tasty-hunit, template-haskell, text, time
, tomland, transformers, transformers-base, unordered-containers
, vector
}:
mkDerivation {
  pname = "verifuzz";
  version = "0.3.1.0";
  src = ./.;
  isLibrary = true;
  isExecutable = true;
  setupHaskellDepends = [ base Cabal cabal-doctest ];
  libraryHaskellDepends = [
    array base binary blaze-html bytestring cryptonite deepseq DRBG
    exceptions fgl fgl-visualize filepath gitrev hedgehog lens
    lifted-base memory monad-control optparse-applicative parsec
    prettyprinter random recursion-schemes shakespeare shelly
    statistics template-haskell text time tomland transformers
    transformers-base unordered-containers vector
  ];
  libraryToolDepends = [ alex ];
  executableHaskellDepends = [ base ];
  testHaskellDepends = [
    base fgl hedgehog hedgehog-fn lens parsec shakespeare tasty
    tasty-hedgehog tasty-hunit text
  ];
  benchmarkHaskellDepends = [ base criterion lens ];
  homepage = "https://github.com/ymherklotz/VeriFuzz#readme";
  description = "Random verilog generation and simulator testing";
  license = stdenv.lib.licenses.bsd3;
}