diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-06-25 08:53:41 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-06-27 09:03:12 +0200 |
| commit | 773bdf699871fdc590c0ff94b464f19149264f79 (patch) | |
| tree | 6f8c3f12296c2cc6a3ace922093c26d450a2ce35 /pkgs/development/tools/analysis | |
| parent | f5b9a25cdd21b4e45ab5f11c27b95dfe17384274 (diff) | |
| download | nixpkgs-773bdf699871fdc590c0ff94b464f19149264f79.tar nixpkgs-773bdf699871fdc590c0ff94b464f19149264f79.tar.gz nixpkgs-773bdf699871fdc590c0ff94b464f19149264f79.tar.bz2 nixpkgs-773bdf699871fdc590c0ff94b464f19149264f79.tar.lz nixpkgs-773bdf699871fdc590c0ff94b464f19149264f79.tar.xz nixpkgs-773bdf699871fdc590c0ff94b464f19149264f79.tar.zst nixpkgs-773bdf699871fdc590c0ff94b464f19149264f79.zip | |
why3: 1.3.3 → 1.4.0
framac: 22.0 → 23.0-rc1
Diffstat (limited to 'pkgs/development/tools/analysis')
| -rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index 1079974ae62..ab82aed8e5e 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -17,6 +17,12 @@ let ocamlgraph stdlib-shims why3 + re + seq + sexplib + sexplib0 + parsexp + base yojson zarith ]; @@ -25,12 +31,12 @@ in stdenv.mkDerivation rec { pname = "frama-c"; - version = "22.0"; - slang = "Titanium"; + version = "23.0-rc1"; + slang = "Vanadium"; src = fetchurl { url = "http://frama-c.com/download/frama-c-${version}-${slang}.tar.gz"; - sha256 = "1mq1fijka95ydrla486yr4w6wdl9l7vmp512s1q00b0p6lmfwmkh"; + sha256 = "1z9f9a217bav3vfc99kq57d5rza6j7hr91ndviwkgcaib6wc5hcv"; }; preConfigure = lib.optionalString stdenv.cc.isClang "configureFlagsArray=(\"--with-cpp=clang -E -C\")"; |