tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 buildDunePackage,
4 fetchFromGitHub,
5 alcotest,
6}:
7
8buildDunePackage (finalAttrs: {
9 pname = "qcheck-core";
10 version = "0.91";
11
12 src = fetchFromGitHub {
13 owner = "c-cube";
14 repo = "qcheck";
15 tag = "v${finalAttrs.version}";
16 hash = "sha256-ToF+bRbiq1P5YaGOKiW//onJDhxaxmnaz9/JbJ82OWM=";
17 };
18
19 doCheck = true;
20 checkInputs = [ alcotest ];
21
22 meta = {
23 description = "Core qcheck library";
24 homepage = "https://c-cube.github.io/qcheck/";
25 license = lib.licenses.bsd2;
26 maintainers = [ lib.maintainers.vbgl ];
27 };
28
29})