summaryrefslogtreecommitdiff
path: root/api/dune
blob: 9e9e82442b6e5cad40a9746fda8afb5dad85c25d (plain)
1
2
3
4
(library
 (name api)
 (libraries chadprover dream)
 (preprocess (pps lwt_ppx ppx_yojson_conv)))