(test
 (name test)
 (modules test)
 (libraries mte mirage-crypto-rng.unix))

(executable
 (public_name mte-validate)
 (name validate)
 (modules validate)
 (libraries mte bos cmdliner))

(cram
 (deps
  (file "keys.demo.taler.net.v31_0_9.json")))