1{ lib, buildDunePackage, fetchurl
2, seq
3, stdlib-shims
4}:
5
6buildDunePackage rec {
7 pname = "ptmap";
8 version = "2.0.5";
9
10 useDune2 = true;
11
12 src = fetchurl {
13 url = "https://github.com/backtracking/ptmap/releases/download/${version}/ptmap-${version}.tbz";
14 sha256 = "1apk61fc1y1g7x3m3c91fnskvxp6i0vk5nxwvipj56k7x2pzilgb";
15 };
16
17 buildInputs = [ stdlib-shims ];
18 propagatedBuildInputs = [ seq ];
19
20 doCheck = true;
21
22 meta = {
23 homepage = "https://www.lri.fr/~filliatr/software.en.html";
24 description = "Maps over integers implemented as Patricia trees";
25 license = lib.licenses.lgpl21;
26 maintainers = with lib.maintainers; [ ];
27 };
28}