pyrox.dev
lol
1{
2 lib,
3 buildDunePackage,
4 fetchurl,
5 stdlib-shims,
6}:
7
8buildDunePackage rec {
9 pname = "bheap";
10 version = "2.0.0";
11
12 src = fetchurl {
13 url = "https://github.com/backtracking/${pname}/releases/download/${version}/${pname}-${version}.tbz";
14 sha256 = "0dpnpla20lgiicrxl2432m2fcr6y68msw3pnjxqb11xw6yrdfhsz";
15 };
16
17 useDune2 = true;
18
19 doCheck = true;
20 checkInputs = [
21 stdlib-shims
22 ];
23
24 meta = with lib; {
25 description = "OCaml binary heap implementation by Jean-Christophe Filliatre";
26 license = licenses.lgpl21Only;
27 maintainers = [ maintainers.sternenseemann ];
28 homepage = "https://github.com/backtracking/bheap";
29 };
30}