diff options
Diffstat (limited to 'nixpkgs/pkgs/development/tools/headache/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/tools/headache/default.nix | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/nixpkgs/pkgs/development/tools/headache/default.nix b/nixpkgs/pkgs/development/tools/headache/default.nix index f156c5950b04..7ed249290136 100644 --- a/nixpkgs/pkgs/development/tools/headache/default.nix +++ b/nixpkgs/pkgs/development/tools/headache/default.nix @@ -1,21 +1,23 @@ -{ lib, fetchFromGitHub, ocamlPackages }: +{ lib, fetchFromGitHub, nix-update-script, ocamlPackages }: with ocamlPackages; buildDunePackage rec { pname = "headache"; - version = "1.06"; + version = "1.07"; src = fetchFromGitHub { owner = "frama-c"; repo = pname; rev = "v${version}"; - sha256 = "sha256-BA7u09MKYMyspFX8AcAkDVA6UUG5DKAdbIDdt+b3Fc4="; + sha256 = "sha256-RL80ggcJSJFu2UTECUNP6KufRhR8ZnG7sQeYzhrw37g="; }; - duneVersion = "3"; + propagatedBuildInputs = [ + camomile + ]; - propagatedBuildInputs = [ camomile ]; + passthru.updateScript = nix-update-script { }; meta = with lib; { homepage = "https://github.com/frama-c/${pname}"; |