diff options
Diffstat (limited to 'pkgs/development/tools/analysis/frama-c/default.nix')
-rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index 37b44e1f80447..87234ba584dbe 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -1,7 +1,7 @@ -{ lib, stdenv, fetchurl, fetchpatch, makeWrapper, writeText +{ lib, stdenv, fetchurl, writeText , graphviz, doxygen , ocamlPackages, ltl2ba, coq, why3 -, gdk-pixbuf, wrapGAppsHook +, gdk-pixbuf, wrapGAppsHook3 }: let @@ -53,7 +53,7 @@ stdenv.mkDerivation rec { strictDeps = true; - nativeBuildInputs = [ wrapGAppsHook ] ++ (with ocamlPackages; [ ocaml findlib dune_3 menhir ]); + nativeBuildInputs = [ wrapGAppsHook3 ] ++ (with ocamlPackages; [ ocaml findlib dune_3 menhir ]); buildInputs = with ocamlPackages; [ dune-site dune-configurator @@ -99,7 +99,7 @@ stdenv.mkDerivation rec { meta = { - description = "An extensible and collaborative platform dedicated to source-code analysis of C software"; + description = "Extensible and collaborative platform dedicated to source-code analysis of C software"; homepage = "http://frama-c.com/"; license = lib.licenses.lgpl21; maintainers = with lib.maintainers; [ thoughtpolice amiddelk ]; |