pyrox.dev
framac: 20171101 (Sulfur) -> 20180502 (Chlorine) (#45455)
authored by Vincent Laporte and committed by xeji 2dec33b6 6d640247
+5
-5
pkgs/development/tools/analysis/frama-c/default.nix
+5
-5
pkgs/development/tools/analysis/frama-c/default.nix
···
9
9
10
10
stdenv.mkDerivation rec {
11
11
name = "frama-c-${version}";
12
-
version = "20171101";
13
-
slang = "Sulfur";
12
+
version = "20180502";
13
+
slang = "Chlorine";
14
14
15
15
src = fetchurl {
16
16
url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz";
17
-
sha256 = "1vwjfqmm1r36gkybsy3a7m89q5zicf4rnz5vlsn9imnpjpl9gjw1";
17
+
sha256 = "1m4r8h8n1z957pylyf9b0kjblh59imnqm1bkb4s6rdwl4a1gbjgc";
18
18
};
19
19
20
20
why2 = fetchurl {
21
-
url = "http://why.lri.fr/download/why-2.39.tar.gz";
22
-
sha256 = "0nf17jl00s7q9z8gkbamnf7mglvxqrm3967c17ic4c9xz8g125a8";
21
+
url = "http://why.lri.fr/download/why-2.40.tar.gz";
22
+
sha256 = "0h1mbpxsgwvf3pbl0qbg22j6f4v1ffka24ap1ajbjk9b1yb3ali8";
23
23
};
24
24
25
25
nativeBuildInputs = [ autoconf makeWrapper ];