coqPackages.async-test: init at 0.1.0

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

@@ -0,0 +1,24 @@
+{ 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.20"; 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;
+  };
+}

pkgs/top-level/coq-packages.nix

@@ -19,6 +19,7 @@ let
 
       aac-tactics = callPackage ../development/coq-modules/aac-tactics {};
       addition-chains = callPackage ../development/coq-modules/addition-chains {};
+      async-test = callPackage ../development/coq-modules/async-test {};
       atbr = callPackage ../development/coq-modules/atbr {};
       autosubst = callPackage ../development/coq-modules/autosubst {};
       bignums = if lib.versionAtLeast coq.coq-version "8.6"