summaryrefslogblamecommitdiff
path: root/bin/dune
blob: c24d8bf28ba8b015efbe3a03a1085e9fea656faa (plain) (tree)
1
2
3
4
5

                   
            

                                    
(executable
 (public_name leda)
 (name leda)
 (libraries base gemini lwt lwt_ppx)
 (preprocess (pps lwt_ppx)))