diff options
-rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index 869222e560b83..9dba3692ad3af 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -8,6 +8,7 @@ let mkocamlpath = p: "${p}/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib"; runtimeDeps = with ocamlPackages; [ apron.dev + bigarray-compat biniou camlzip easy-format |