headache: 1.07 -> 1.08

+2 -2
+2 -2
pkgs/development/tools/headache/default.nix
··· 6 7 buildDunePackage rec { 8 pname = "headache"; 9 - version = "1.07"; 10 11 src = fetchFromGitHub { 12 owner = "frama-c"; 13 repo = pname; 14 rev = "v${version}"; 15 - sha256 = "sha256-RL80ggcJSJFu2UTECUNP6KufRhR8ZnG7sQeYzhrw37g="; 16 }; 17 18 propagatedBuildInputs = [
··· 6 7 buildDunePackage rec { 8 pname = "headache"; 9 + version = "1.08"; 10 11 src = fetchFromGitHub { 12 owner = "frama-c"; 13 repo = pname; 14 rev = "v${version}"; 15 + sha256 = "sha256-UXQIIsCyJZN4qos7Si7LLm9vQueOduUmLeYHuyT2GZo="; 16 }; 17 18 propagatedBuildInputs = [