2026-02-07 00:29:26 +01:00 · 2026-02-07 00:29:26 +01:00 · 16387c6e2d
commit 16387c6e2d
parent f1936f150d
166 changed files with 0 additions and 17553 deletions
--- a/tools/dune
+++ b/tools/dune
@ -0,0 +1,7 @@
+(executable
+ (public_name offline)
+ (name offline)
+ (modules offline offline_impl offline_sig)
+ (libraries cmdliner bos fmt mirage-crypto ptime mte vif))
+
+; todo depends on curl