+ wip sign_future_keys

2025-11-28 17:30:15 +01:00 · 2025-11-28 17:30:15 +01:00 · 1cb9d3e60b
commit 1cb9d3e60b
parent d7d302bafa
3 changed files with 97 additions and 55 deletions
--- a/tools/dune
+++ b/tools/dune
@ -1,5 +1,5 @@
 (executable
 (public_name offline)
 (name offline)
- (modules offline)
+ (modules offline offline_signature)
 (libraries cmdliner bos fmt mirage-crypto ptime mte vif))