summaryrefslogtreecommitdiff
path: root/bin/dune
blob: 9861cc334bd49748039e84eadd65722b14c88e51 (plain) (blame)
1
2
3
4
5
(executable
 (public_name leda)
 (name leda)
 (libraries base cmdliner curses gemini lwt lwt_ppx mirage-crypto-rng.lwt)
 (preprocess (pps lwt_ppx)))