2020-09-10 07:53:26 +02:00
|
|
|
{ lib, buildDunePackage, fetchurl
|
|
|
|
, seq
|
|
|
|
, stdlib-shims
|
|
|
|
}:
|
2017-07-04 23:39:37 +02:00
|
|
|
|
2020-09-10 07:53:26 +02:00
|
|
|
buildDunePackage rec {
|
|
|
|
pname = "ptmap";
|
|
|
|
version = "2.0.5";
|
2017-07-04 23:39:37 +02:00
|
|
|
|
2020-09-10 07:53:26 +02:00
|
|
|
useDune2 = true;
|
2017-07-04 23:39:37 +02:00
|
|
|
|
2020-09-10 07:53:26 +02:00
|
|
|
src = fetchurl {
|
|
|
|
url = "https://github.com/backtracking/ptmap/releases/download/${version}/ptmap-${version}.tbz";
|
|
|
|
sha256 = "1apk61fc1y1g7x3m3c91fnskvxp6i0vk5nxwvipj56k7x2pzilgb";
|
2017-07-04 23:39:37 +02:00
|
|
|
};
|
|
|
|
|
2020-09-10 07:53:26 +02:00
|
|
|
propagatedBuildInputs = [ seq ];
|
2017-07-04 23:39:37 +02:00
|
|
|
|
2020-09-10 07:53:26 +02:00
|
|
|
doCheck = true;
|
2017-07-04 23:39:37 +02:00
|
|
|
|
2020-09-10 07:53:26 +02:00
|
|
|
checkInputs = [ stdlib-shims ];
|
2017-07-04 23:39:37 +02:00
|
|
|
|
|
|
|
meta = {
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "https://www.lri.fr/~filliatr/software.en.html";
|
2017-07-04 23:39:37 +02:00
|
|
|
description = "Maps over integers implemented as Patricia trees";
|
2020-09-10 07:53:26 +02:00
|
|
|
license = lib.licenses.lgpl21;
|
|
|
|
maintainers = with lib.maintainers; [ volth ];
|
2017-07-04 23:39:37 +02:00
|
|
|
};
|
|
|
|
}
|