tjh.dev
1{
2 lib,
3 fetchurl,
4 buildDunePackage,
5 stdlib-shims,
6}:
7
8buildDunePackage rec {
9 pname = "ptset";
10 version = "1.0.1";
11
12 useDune2 = true;
13
14 src = fetchurl {
15 url = "https://github.com/backtracking/ptset/releases/download/${version}/ptset-${version}.tbz";
16 sha256 = "1pr80mgk12l93mdq1wfsv2b6ccraxs334d5h92qzjh7bw2g13424";
17 };
18
19 doCheck = true;
20
21 propagatedBuildInputs = [ stdlib-shims ];
22
23 meta = {
24 description = "Integer set implementation using Patricia trees";
25 homepage = "https://github.com/backtracking/ptset";
26 license = lib.licenses.lgpl21;
27 maintainers = [ lib.maintainers.vbgl ];
28 };
29}