cert-service/bin/dune

12 lines
351 B
Plaintext
Raw Permalink Normal View History

2020-12-09 19:28:07 +00:00
(executable
(public_name hashbang-cert-server)
(name hashbang_cert_server)
(modules hashbang_cert_server)
2020-12-09 19:28:07 +00:00
(libraries cert_service lwt.unix extunix bos mirage-crypto-rng.lwt))
(executable
(public_name hashbang-cert-client)
(name hashbang_cert_client)
(modules hashbang_cert_client)
2020-12-09 19:28:07 +00:00
(libraries cert_service lwt.unix bos mirage-crypto-rng.lwt))