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

frama-c.why2: 2.37 -> 2.39

Browse Source
This commit is contained in:
Vincent Laporte 2017-11-14 21:37:34 +00:00
parent 0cedba16b8
commit f3811adea6
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
2 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -18,8 +18,8 @@ stdenv.mkDerivation rec {
};
why2 = fetchurl {
url = "http://why.lri.fr/download/why-2.37.tar.gz";
sha256 = "00xr8aq6zwln0ccfs1ng610j70r6ia6wqdyaqs9iqibqfa1scr3m";
url = "http://why.lri.fr/download/why-2.39.tar.gz";
sha256 = "0nf17jl00s7q9z8gkbamnf7mglvxqrm3967c17ic4c9xz8g125a8";
};
nativeBuildInputs = [ autoconf makeWrapper ];

4
pkgs/top-level/all-packages.nix
View File

@ -7216,9 +7216,7 @@ with pkgs;
inherit (ocamlPackages) ocaml findlib camlp4 sedlex ocamlbuild;
};
framac = callPackage ../development/tools/analysis/frama-c {
ocamlPackages = ocamlPackages_4_03;
};
framac = callPackage ../development/tools/analysis/frama-c { };
frame = callPackage ../development/libraries/frame { };