diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-14 21:37:34 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-14 21:48:50 +0000 |
| commit | f3811adea618dd9dc24bf50cae2d6d45be3c3f2e (patch) | |
| tree | cb62bc77e27dbbf48dd99d7fffa77f0995c9d065 /pkgs | |
| parent | 0cedba16b863ff6084e041dd44b075fd764cd911 (diff) | |
| download | nixlib-f3811adea618dd9dc24bf50cae2d6d45be3c3f2e.tar nixlib-f3811adea618dd9dc24bf50cae2d6d45be3c3f2e.tar.gz nixlib-f3811adea618dd9dc24bf50cae2d6d45be3c3f2e.tar.bz2 nixlib-f3811adea618dd9dc24bf50cae2d6d45be3c3f2e.tar.lz nixlib-f3811adea618dd9dc24bf50cae2d6d45be3c3f2e.tar.xz nixlib-f3811adea618dd9dc24bf50cae2d6d45be3c3f2e.tar.zst nixlib-f3811adea618dd9dc24bf50cae2d6d45be3c3f2e.zip | |
frama-c.why2: 2.37 -> 2.39
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 4 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
2 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index 1ce0ca161536..33ce0531e3b0 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -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 ]; diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 7ba9a933ba69..84d4b021a83a 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 { }; |