From c63c6709247678f1448b94744eed2a7e18553876 Mon Sep 17 00:00:00 2001 From: swrup Date: Sun, 30 Nov 2025 21:35:32 +0100 Subject: [PATCH] --- tools/dune | 2 ++ 1 file changed, 2 insertions(+) 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