diff --git a/nix/packages/necrolib.nix b/nix/packages/necrolib.nix index 4846ace1..a9b20e2d 100644 --- a/nix/packages/necrolib.nix +++ b/nix/packages/necrolib.nix @@ -1,14 +1,13 @@ { - lib, fetchFromGitLab, ocaml-ng, ocamlPackages ? ocaml-ng.ocamlPackages_4_14, }: let - rev = "4690dd27717e687b8eba449e44127a53fabe7a2d"; + version = "v0.16.2"; in ocamlPackages.buildDunePackage { pname = "necrolib"; - version = lib.substring 0 7 rev; + inherit version; minimalOCamlVersion = "4.14.1"; @@ -16,8 +15,8 @@ in domain = "gitlab.inria.fr"; owner = "skeletons"; repo = "necro"; - inherit rev; - hash = "sha256-FYeVuSUmA6as0oI80uC3wW8l1/AazOPAtiNsnZyUahU="; + rev = version; + hash = "sha256-KoSKJD5jy+GY5QKKMUTW5gc0V/5l/klHrJMdC8aPnj8="; }; duneVersion = "3";