diff --git a/dune-project b/dune-project index c994249..e52be73 100644 --- a/dune-project +++ b/dune-project @@ -1 +1,14 @@ (lang dune 2.9) +(name ce) +(version dev) +(generate_opam_files false) +(license MIT) +(maintainers "Hyeonung Baek ") +(authors "Hyeonung Baek ") +(homepage "https://github.com/wiserlix/ut") +(bug_reports "https://github.com/wiserlix/ut/issues") + +(package + (name ce) + (synopsis "Configurable Evaluator") + (depends (ocaml (>= 4.12))))