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

(executable
 (public_name gen_registry_files)
 (name gen_registry_files)
 (modules gen_registry_files)
 (libraries recfile_parser bos fmt))

(library
 (name recfile_parser)
 (modules recfile_parser)
 (libraries angstrom bos cmdliner fmt))
