2025-09-13 15:56:19 +02:00
|
|
|
(test
|
|
|
|
|
(name test)
|
|
|
|
|
(modules test)
|
2026-03-21 00:58:15 +01:00
|
|
|
(libraries mte mirage-crypto-rng.unix))
|
2026-02-27 17:49:54 +01:00
|
|
|
|
|
|
|
|
(executable
|
2026-03-21 12:07:25 +01:00
|
|
|
(public_name mte-validate)
|
|
|
|
|
(name validate)
|
|
|
|
|
(modules validate)
|
2026-03-21 16:31:11 +01:00
|
|
|
(libraries mte cmdliner bos fmt fpath))
|
2026-03-21 12:07:25 +01:00
|
|
|
|
|
|
|
|
(cram
|
|
|
|
|
(deps
|
|
|
|
|
(file "keys.demo.taler.net.v31_0_9.json")))
|
