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