Loading pkgs/development/ocaml-modules/bheap/default.nix +8 −10 Original line number Diff line number Diff line Loading @@ -5,26 +5,24 @@ stdlib-shims, }: buildDunePackage rec { buildDunePackage (finalAttrs: { pname = "bheap"; version = "2.0.0"; src = fetchurl { url = "https://github.com/backtracking/${pname}/releases/download/${version}/${pname}-${version}.tbz"; sha256 = "0dpnpla20lgiicrxl2432m2fcr6y68msw3pnjxqb11xw6yrdfhsz"; url = "https://github.com/backtracking/bheap/releases/download/${finalAttrs.version}/bheap-${finalAttrs.version}.tbz"; hash = "sha256-X0PXsje8h7Bwl/YOrisy3mTmRBWDCNozi/FRIBS99jY="; }; useDune2 = true; doCheck = true; checkInputs = [ stdlib-shims ]; meta = with lib; { description = "OCaml binary heap implementation by Jean-Christophe Filliatre"; license = licenses.lgpl21Only; maintainers = [ maintainers.sternenseemann ]; meta = { description = "OCaml binary heap implementation by Jean-Christophe Filliâtre"; license = lib.licenses.lgpl21Only; maintainers = [ lib.maintainers.sternenseemann ]; homepage = "https://github.com/backtracking/bheap"; }; } }) Loading
pkgs/development/ocaml-modules/bheap/default.nix +8 −10 Original line number Diff line number Diff line Loading @@ -5,26 +5,24 @@ stdlib-shims, }: buildDunePackage rec { buildDunePackage (finalAttrs: { pname = "bheap"; version = "2.0.0"; src = fetchurl { url = "https://github.com/backtracking/${pname}/releases/download/${version}/${pname}-${version}.tbz"; sha256 = "0dpnpla20lgiicrxl2432m2fcr6y68msw3pnjxqb11xw6yrdfhsz"; url = "https://github.com/backtracking/bheap/releases/download/${finalAttrs.version}/bheap-${finalAttrs.version}.tbz"; hash = "sha256-X0PXsje8h7Bwl/YOrisy3mTmRBWDCNozi/FRIBS99jY="; }; useDune2 = true; doCheck = true; checkInputs = [ stdlib-shims ]; meta = with lib; { description = "OCaml binary heap implementation by Jean-Christophe Filliatre"; license = licenses.lgpl21Only; maintainers = [ maintainers.sternenseemann ]; meta = { description = "OCaml binary heap implementation by Jean-Christophe Filliâtre"; license = lib.licenses.lgpl21Only; maintainers = [ lib.maintainers.sternenseemann ]; homepage = "https://github.com/backtracking/bheap"; }; } })