5 lines
125 B
Text
5 lines
125 B
Text
(executable
|
|
(public_name offline)
|
|
(name offline)
|
|
(modules offline)
|
|
(libraries cmdliner bos fmt mirage-crypto ptime mte))
|