diff --git a/tools/dune b/tools/dune index 4d53a4b2..dc7b5c6a 100644 --- a/tools/dune +++ b/tools/dune @@ -3,3 +3,5 @@ (name offline) (modules offline offline_impl offline_bin) (libraries cmdliner bos fmt mirage-crypto ptime mte vif)) + +; todo depends on curl