pyrox.dev
lol
1{ lib, buildDunePackage, fetchFromGitHub }:
2
3buildDunePackage rec {
4 pname = "qcheck-core";
5 version = "0.18";
6
7 useDune2 = true;
8
9 minimalOCamlVersion = "4.08";
10
11 src = fetchFromGitHub {
12 owner = "c-cube";
13 repo = "qcheck";
14 rev = "v${version}";
15 sha256 = "1s652hrj2sxqj30dfl300zjvvqk3r62a1bnzqw1hqyf6pi88qn8x";
16 };
17
18 meta = {
19 description = "Core qcheck library";
20 homepage = "https://c-cube.github.io/qcheck/";
21 license = lib.licenses.bsd2;
22 maintainers = [ lib.maintainers.vbgl ];
23 };
24
25}