(executables
 (names hello_world receive_post)
 (libraries mirage-crypto cohttp-async base async_kernel))

(alias
 (name runtest)
 (package cohttp-async)
 (deps hello_world.exe receive_post.exe))
