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