+ wip /management/keys/

2025-11-30 14:23:55 +01:00 · 2025-11-30 14:23:55 +01:00 · 83dfd701c0
commit 83dfd701c0
parent cf4da6b382
5 changed files with 30 additions and 53 deletions
--- a/tools/dune
+++ b/tools/dune
@ -1,5 +1,5 @@
 (executable
 (public_name offline)
 (name offline)
- (modules offline offline_signature)
+ (modules offline offline_bin)
 (libraries cmdliner bos fmt mirage-crypto ptime mte vif))