diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-30 18:33:19 +0000 |
---|---|---|
committer | Bjørn Forsman <bjorn.forsman@gmail.com> | 2017-12-03 12:26:02 +0100 |
commit | 842d8e47660d1600473609f8be5d175825e53a01 (patch) | |
tree | 2ffa45efd8c74f7e57e9e32e601990d8688eee04 /pkgs/development/tools/analysis | |
parent | bccd410e783deef95cd5b35df4a9c766f76febf5 (diff) | |
download | nixlib-842d8e47660d1600473609f8be5d175825e53a01.tar nixlib-842d8e47660d1600473609f8be5d175825e53a01.tar.gz nixlib-842d8e47660d1600473609f8be5d175825e53a01.tar.bz2 nixlib-842d8e47660d1600473609f8be5d175825e53a01.tar.lz nixlib-842d8e47660d1600473609f8be5d175825e53a01.tar.xz nixlib-842d8e47660d1600473609f8be5d175825e53a01.tar.zst nixlib-842d8e47660d1600473609f8be5d175825e53a01.zip |
frama-c: 20170501 (Phosphorus) -> 20171101 (Sulfur)
Diffstat (limited to 'pkgs/development/tools/analysis')
-rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index 33ce0531e3b0..c950228907a0 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -9,12 +9,12 @@ in stdenv.mkDerivation rec { name = "frama-c-${version}"; - version = "20170501"; - slang = "Phosphorus"; + version = "20171101"; + slang = "Sulfur"; src = fetchurl { url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz"; - sha256 = "16bccacms3n4rfpsxdxpdf24bk0hwrnzdpa2pbr6s847li73hkv1"; + sha256 = "1vwjfqmm1r36gkybsy3a7m89q5zicf4rnz5vlsn9imnpjpl9gjw1"; }; why2 = fetchurl { |