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