tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ buildDunePackage, qcheck-core, alcotest }:
2
3buildDunePackage {
4 pname = "qcheck-alcotest";
5
6 inherit (qcheck-core) version src patches;
7
8 duneVersion = "3";
9
10 propagatedBuildInputs = [ qcheck-core alcotest ];
11
12 meta = qcheck-core.meta // {
13 description = "Alcotest backend for qcheck";
14 };
15}