(executable
 (public_name hashbang-cert-server)
 (name hashbang_cert_server)
 (modules hashbang_cert_server)
 (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)
 (libraries cert_service lwt.unix bos mirage-crypto-rng.lwt))