diff --git a/bin/dune b/bin/dune index 78243f7..6f547dc 100644 --- a/bin/dune +++ b/bin/dune @@ -1,11 +1,11 @@ (executable - (public_name cert-service-server) - (name cert_service_server) - (modules cert_service_server) + (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 cert-service-client) - (name cert_service_client) - (modules cert_service_client) + (public_name hashbang-cert-client) + (name hashbang_cert_client) + (modules hashbang_cert_client) (libraries cert_service lwt.unix bos mirage-crypto-rng.lwt)) diff --git a/bin/cert_service_client.ml b/bin/hashbang_cert_client.ml similarity index 100% rename from bin/cert_service_client.ml rename to bin/hashbang_cert_client.ml diff --git a/bin/cert_service_server.ml b/bin/hashbang_cert_server.ml similarity index 100% rename from bin/cert_service_server.ml rename to bin/hashbang_cert_server.ml