frama-c: add missing runtime dependency · tjh.dev/nixpkgs@005cf8a

tjh.dev / nixpkgs

fork atom

nixpkgs mirror (for testing) github.com/NixOS/nixpkgs

nix

fork atom

frama-c: add missing runtime dependency

authored by

Vincent Laporte and committed by

Bjørn Forsman 3 years ago 005cf8a5 0dc7388a

1 changed file

expand all

pkgs

development

tools

analysis

frama-c

default.nix

pkgs/development/tools/analysis/frama-c/default.nix

··· 8 8 mkocamlpath = p: "${p}/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib"; 9 9 runtimeDeps = with ocamlPackages; [ 10 10 apron.dev 11 + bigarray-compat 11 12 biniou 12 13 camlzip 13 14 easy-format