+ wip /management/keys/

2025-11-30 14:23:55 +01:00 · 2025-11-30 14:23:55 +01:00 · a3f679f438
commit a3f679f438
parent cf4da6b382
5 changed files with 30 additions and 58 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))