(executables
 (names
  server1
  server2
  client1
  docker_client
  client_timeout
  client_tls
  client_proxy)
 (libraries
  cohttp-eio
  cmdliner
  eio_main
  eio.unix
  fmt
  unix
  logs.fmt
  logs.threaded
  tls-eio
  ca-certs
  mirage-crypto-rng.unix))

(alias
 (name runtest)
 (package cohttp-eio)
 (deps server1.exe))
