Skip to content
Snippets Groups Projects
Commit 7af05e76 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ci] missing dep on camomile in internal tests

parent 84c70ae8
No related branches found
No related tags found
No related merge requests found
...@@ -14,6 +14,7 @@ ...@@ -14,6 +14,7 @@
# Frama-C build # Frama-C build
, apron , apron
, camlzip , camlzip
, camomile
, dune_3 , dune_3
, dune-configurator , dune-configurator
, dune-site , dune-site
...@@ -67,6 +68,7 @@ stdenvNoCC.mkDerivation rec { ...@@ -67,6 +68,7 @@ stdenvNoCC.mkDerivation rec {
apron apron
alt-ergo alt-ergo
camlzip camlzip
camomile
dune_3 dune_3
dune-configurator dune-configurator
dune-site dune-site
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment