pkgs/development/coq-modules/async-test/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

{
  lib,
  mkCoqDerivation,
  coq,
  itree-io,
  json,
  QuickChick,
  version ? null,
}:

mkCoqDerivation {
  pname = "async-test";
  owner = "liyishuai";
  repo = "coq-async-test";
  inherit version;

  defaultVersion =
    let
      inherit (lib.versions) range;
    in
    lib.switch coq.coq-version [
      {
        case = range "8.12" "8.19";
        out = "0.1.0";
      }
    ] null;
  release = {
    "0.1.0".sha256 = "sha256-0DBUS20337tpBi64mlJIWTQvIAdUvWbFCM9Sat7MEA8=";
  };
  releaseRev = v: "v${v}";

  propagatedBuildInputs = [
    itree-io
    json
    QuickChick
  ];

  meta = {
    description = "From interaction trees to asynchronous tests";
    license = lib.licenses.mpl20;
  };
}