cert-service/test/dune

4 lines
78 B
Plaintext
Raw Permalink Normal View History

2020-12-11 14:59:51 +00:00
(test
(name test)
(libraries cert_service alcotest mirage-crypto-rng.unix))