pkgs/development/ocaml-modules/bheap/default.nix

   1 { lib, buildDunePackage, fetchurl, stdlib-shims }:
   2
   3 buildDunePackage 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 }