tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 buildDunePackage,
3 qcheck-core,
4 alcotest,
5}:
6
7buildDunePackage {
8 pname = "qcheck-alcotest";
9
10 inherit (qcheck-core) version src;
11
12 propagatedBuildInputs = [
13 qcheck-core
14 alcotest
15 ];
16
17 meta = qcheck-core.meta // {
18 description = "Alcotest backend for qcheck";
19 };
20}