(executables
 (names load_files http_get)
 (libraries
  eio_main
  cohttp-eio
  eio_progress
  ca-certs
  tls-eio
  mirage-crypto-rng.unix))