From 8c11c9528eb2de2b203706bf8060634839cd7308 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Sun, 2 Dec 2018 13:14:31 +0000 Subject: [PATCH] frama-c: Chlorine -> Argon --- .../development/tools/analysis/frama-c/default.nix | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index 2f517eb0084..29a19022094 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -1,5 +1,5 @@ { stdenv, fetchurl, makeWrapper, ncurses, ocamlPackages, graphviz -, ltl2ba, coq, alt-ergo, why3, autoconf +, ltl2ba, coq, why3, autoconf }: let @@ -9,12 +9,12 @@ in stdenv.mkDerivation rec { name = "frama-c-${version}"; - version = "20180502"; - slang = "Chlorine"; + version = "18.0"; + slang = "Argon"; src = fetchurl { - url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz"; - sha256 = "1m4r8h8n1z957pylyf9b0kjblh59imnqm1bkb4s6rdwl4a1gbjgc"; + url = "http://frama-c.com/download/frama-c-${version}-${slang}.tar.gz"; + sha256 = "0a88k2mhafj7pz3dzgsqkrc9digkxpnvr9jqq9nbzwq8qr02bca2"; }; why2 = fetchurl { @@ -25,8 +25,8 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ autoconf makeWrapper ]; buildInputs = with ocamlPackages; [ - ncurses ocaml findlib alt-ergo ltl2ba ocamlgraph - lablgtk coq graphviz zarith why3 apron camlp4 + ncurses ocaml findlib ltl2ba ocamlgraph + lablgtk coq graphviz zarith why3 apron ];