diff options
author | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-08-22 21:13:48 +0000 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-08-22 23:13:48 +0200 |
commit | 2dec33b60d6dec60cf015662ac027d3448da9214 (patch) | |
tree | 443725c487818bfdba2e3faac5851f788814cb23 | |
parent | 6d64024734d661acd71d2eeb6eb86823b7689998 (diff) | |
download | nixlib-2dec33b60d6dec60cf015662ac027d3448da9214.tar nixlib-2dec33b60d6dec60cf015662ac027d3448da9214.tar.gz nixlib-2dec33b60d6dec60cf015662ac027d3448da9214.tar.bz2 nixlib-2dec33b60d6dec60cf015662ac027d3448da9214.tar.lz nixlib-2dec33b60d6dec60cf015662ac027d3448da9214.tar.xz nixlib-2dec33b60d6dec60cf015662ac027d3448da9214.tar.zst nixlib-2dec33b60d6dec60cf015662ac027d3448da9214.zip |
framac: 20171101 (Sulfur) -> 20180502 (Chlorine) (#45455)
-rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index c950228907a0..2f517eb00841 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -9,17 +9,17 @@ in stdenv.mkDerivation rec { name = "frama-c-${version}"; - version = "20171101"; - slang = "Sulfur"; + version = "20180502"; + slang = "Chlorine"; src = fetchurl { url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz"; - sha256 = "1vwjfqmm1r36gkybsy3a7m89q5zicf4rnz5vlsn9imnpjpl9gjw1"; + sha256 = "1m4r8h8n1z957pylyf9b0kjblh59imnqm1bkb4s6rdwl4a1gbjgc"; }; why2 = fetchurl { - url = "http://why.lri.fr/download/why-2.39.tar.gz"; - sha256 = "0nf17jl00s7q9z8gkbamnf7mglvxqrm3967c17ic4c9xz8g125a8"; + url = "http://why.lri.fr/download/why-2.40.tar.gz"; + sha256 = "0h1mbpxsgwvf3pbl0qbg22j6f4v1ffka24ap1ajbjk9b1yb3ali8"; }; nativeBuildInputs = [ autoconf makeWrapper ]; |