(executable
 (public_name mte-offline-tool)
 (name offline)
 (modules offline offline_impl)
 (libraries
  mte
  mtime
  mtime.clock
  mirage-crypto-rng.unix
  mirage-crypto-ec
  mirage-crypto-pk
  cmdliner
  bos
  fmt
  fpath))

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

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