summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrik Strid <ulrik.strid@outlook.com>2023-10-04 19:53:20 +0200
committerGitHub <noreply@github.com>2023-10-04 19:53:20 +0200
commitc1a36c3baa9b0901878708c859979f43c15bd92a (patch)
tree1d9d812d42f48c743a733cb7d11c391cb6703bec
parentMerge pull request #259002 from wegank/xzoom-name (diff)
parentheadache: add passthru.updateScript (diff)
downloadnixpkgs-c1a36c3baa9b0901878708c859979f43c15bd92a.tar.gz
Merge pull request #242104 from Niols/headache-v1.07
headache: 1.06 -> 1.07
-rw-r--r--pkgs/development/tools/headache/default.nix10
1 files changed, 6 insertions, 4 deletions
diff --git a/pkgs/development/tools/headache/default.nix b/pkgs/development/tools/headache/default.nix
index ca6417705e10..7ed249290136 100644
--- a/pkgs/development/tools/headache/default.nix
+++ b/pkgs/development/tools/headache/default.nix
@@ -1,22 +1,24 @@
-{ 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=";
};
propagatedBuildInputs = [
- (camomile.override { version = "1.0.2"; })
+ camomile
];
+ passthru.updateScript = nix-update-script { };
+
meta = with lib; {
homepage = "https://github.com/frama-c/${pname}";
description = "Lightweight tool for managing headers in source code files";