swrup
0900b4b316
JJ: Description from source commit: + clean up tos JJ: Description from source commit: rename
11 lines
292 B
Text
11 lines
292 B
Text
(executable
|
|
(public_name offline)
|
|
(name offline)
|
|
(modules offline offline_impl)
|
|
(libraries cmdliner bos fmt mirage-crypto ptime mte vif))
|
|
|
|
(executable
|
|
(public_name gen_signatures_registry)
|
|
(name gen_signatures_registry)
|
|
(modules gen_signatures_registry)
|
|
(libraries angstrom bos fmt))
|