From 0ec304cfdf98ed71c69da8b9c371c89cbf1ed023 Mon Sep 17 00:00:00 2001 From: Hyeonung Baek Date: Thu, 13 Jan 2022 00:55:03 +0900 Subject: [PATCH] Add texts to dune-project --- dune-project | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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))))