tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 buildDunePackage,
4 fetchurl,
5 stdlib-shims,
6}:
7
8buildDunePackage (finalAttrs: {
9 pname = "bheap";
10 version = "2.0.0";
11
12 src = fetchurl {
13 url = "https://github.com/backtracking/bheap/releases/download/${finalAttrs.version}/bheap-${finalAttrs.version}.tbz";
14 hash = "sha256-X0PXsje8h7Bwl/YOrisy3mTmRBWDCNozi/FRIBS99jY=";
15 };
16
17 doCheck = true;
18 checkInputs = [
19 stdlib-shims
20 ];
21
22 meta = {
23 description = "OCaml binary heap implementation by Jean-Christophe Filliâtre";
24 license = lib.licenses.lgpl21Only;
25 maintainers = [ lib.maintainers.sternenseemann ];
26 homepage = "https://github.com/backtracking/bheap";
27 };
28})