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