cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Merge pull request #242104 from Niols/headache-v1.07

Browse source 
headache: 1.06 -> 1.07
This commit is contained in:
Ulrik Strid 2023-10-04 19:53:20 +02:00 committed by GitHub
commit c1a36c3baa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
pkgs/development/tools/headache/default.nix
View file

@ -1,22 +1,24 @@
{ lib, fetchFromGitHub, ocamlPackages }: { lib, fetchFromGitHub, nix-update-script, ocamlPackages }:
with ocamlPackages; with ocamlPackages;
buildDunePackage rec { buildDunePackage rec {
pname = "headache"; pname = "headache";
version = "1.06"; version = "1.07";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "frama-c"; owner = "frama-c";
repo = pname; repo = pname;
rev = "v${version}"; rev = "v${version}";
sha256 = "sha256-BA7u09MKYMyspFX8AcAkDVA6UUG5DKAdbIDdt+b3Fc4="; sha256 = "sha256-RL80ggcJSJFu2UTECUNP6KufRhR8ZnG7sQeYzhrw37g=";
}; };
propagatedBuildInputs = [ propagatedBuildInputs = [
(camomile.override { version = "1.0.2"; }) camomile
]; ];
passthru.updateScript = nix-update-script { };
meta = with lib; { meta = with lib; {
homepage = "https://github.com/frama-c/${pname}"; homepage = "https://github.com/frama-c/${pname}";
description = "Lightweight tool for managing headers in source code files"; description = "Lightweight tool for managing headers in source code files";