tjh.dev
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 itree-io,
6 json,
7 QuickChick,
8 version ? null,
9}:
10
11mkCoqDerivation {
12 pname = "async-test";
13 owner = "liyishuai";
14 repo = "coq-async-test";
15 inherit version;
16
17 defaultVersion =
18 let
19 inherit (lib.versions) range;
20 in
21 lib.switch coq.coq-version [
22 {
23 case = range "8.12" "8.19";
24 out = "0.1.0";
25 }
26 ] null;
27 release = {
28 "0.1.0".sha256 = "sha256-0DBUS20337tpBi64mlJIWTQvIAdUvWbFCM9Sat7MEA8=";
29 };
30 releaseRev = v: "v${v}";
31
32 propagatedBuildInputs = [
33 itree-io
34 json
35 QuickChick
36 ];
37
38 meta = {
39 description = "From interaction trees to asynchronous tests";
40 license = lib.licenses.mpl20;
41 };
42}