JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

frama-c: 20170501 (Phosphorus) -> 20171101 (Sulfur)

Browse Source
This commit is contained in:
Vincent Laporte 2017-11-30 18:33:19 +00:00 committed by Bjørn Forsman
parent bccd410e78
commit 842d8e4766
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/tools/analysis/frama-c/default.nix
View File

@ -9,12 +9,12 @@ in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "frama-c-${version}"; name = "frama-c-${version}";
version = "20170501"; version = "20171101";
slang = "Phosphorus"; slang = "Sulfur";
src = fetchurl { src = fetchurl {
url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz"; url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz";
sha256 = "16bccacms3n4rfpsxdxpdf24bk0hwrnzdpa2pbr6s847li73hkv1"; sha256 = "1vwjfqmm1r36gkybsy3a7m89q5zicf4rnz5vlsn9imnpjpl9gjw1";
}; };
why2 = fetchurl { why2 = fetchurl {