2025-09-13 15:56:19 +02:00
|
|
|
(executable
|
2026-03-21 12:07:25 +01:00
|
|
|
(public_name mte-offline-tool)
|
2025-09-13 15:56:19 +02:00
|
|
|
(name offline)
|
2026-02-10 14:48:02 +01:00
|
|
|
(modules offline offline_impl)
|
2026-03-21 16:31:11 +01:00
|
|
|
(libraries
|
|
|
|
|
mte
|
|
|
|
|
mtime
|
|
|
|
|
mtime.clock
|
|
|
|
|
mirage-crypto-rng.unix
|
|
|
|
|
mirage-crypto-ec
|
|
|
|
|
mirage-crypto-pk
|
|
|
|
|
cmdliner
|
|
|
|
|
bos
|
|
|
|
|
fmt
|
|
|
|
|
fpath))
|
2025-09-13 15:56:19 +02:00
|
|
|
|
2026-02-08 03:50:01 +01:00
|
|
|
(executable
|
2026-02-17 05:19:17 +01:00
|
|
|
(public_name gen_registry_files)
|
|
|
|
|
(name gen_registry_files)
|
|
|
|
|
(modules gen_registry_files)
|
2026-03-21 16:31:11 +01:00
|
|
|
(libraries recfile_parser cmdliner bos fmt fpath))
|
2026-02-17 05:19:17 +01:00
|
|
|
|
|
|
|
|
(library
|
|
|
|
|
(name recfile_parser)
|
|
|
|
|
(modules recfile_parser)
|
2026-03-21 03:30:15 +01:00
|
|
|
(libraries angstrom fmt))
|
