{ 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";
  };
}
