(executable
 (public_name leda)
 (name leda)
 (libraries base cmdliner notty notty.lwt gemini lwt lwt_ppx mirage-crypto-rng.lwt)
 (preprocess (pps lwt_ppx)))