blob: 113b61eea1805679583fe4acdf0da25c28ed6015 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{ 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";
};
}
|