nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-03 13:30:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

frama-c: add missing runtime dependency

Browse Source 
(cherry picked from commit d515d21d01)
This commit is contained in:
Vincent Laporte
2022-11-24 12:18:27 +01:00
committed by Bjørn Forsman
parent 56b66f51fd
commit 8e91d8e05b
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/tools/analysis/frama-c/default.nix
View File

@@ -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