diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix index 5512f6013d84ee6b63e7b0e1da30a7df68883e1b..0e1f27f8fe7c6c7af264b8131476e2b94af8bb58 100644 --- a/nix/internal-tests.nix +++ b/nix/internal-tests.nix @@ -14,6 +14,7 @@ # Frama-C build , apron , camlzip +, camomile , dune_3 , dune-configurator , dune-site @@ -67,6 +68,7 @@ stdenvNoCC.mkDerivation rec { apron alt-ergo camlzip + camomile dune_3 dune-configurator dune-site