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