(executable
(public_name offline)
(name offline)
(modules offline)
(libraries cmdliner bos fmt mirage-crypto ptime mte vif))
