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