summaryrefslogtreecommitdiff
path: root/bin/dune
blob: 7b136a7b1912d1edcd9426cb8b025513cb26b605 (plain) (blame)
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)))