{
  buildDunePackage,
  qcheck-core,
  alcotest,
}:

buildDunePackage {
  pname = "qcheck-alcotest";

  inherit (qcheck-core) version src patches;

  duneVersion = "3";

  propagatedBuildInputs = [
    qcheck-core
    alcotest
  ];

  meta = qcheck-core.meta // {
    description = "Alcotest backend for qcheck";
  };
}