2022-01-10 01:31:47 +09:00
|
|
|
(lang dune 2.9)
|
2022-01-13 00:55:03 +09:00
|
|
|
(name ce)
|
|
|
|
|
(version dev)
|
|
|
|
|
(generate_opam_files false)
|
|
|
|
|
(license MIT)
|
|
|
|
|
(maintainers "Hyeonung Baek <wiserlix@gmail.com>")
|
|
|
|
|
(authors "Hyeonung Baek <wiserlix@gmail.com>")
|
|
|
|
|
(homepage "https://github.com/wiserlix/ut")
|
|
|
|
|
(bug_reports "https://github.com/wiserlix/ut/issues")
|
|
|
|
|
|
|
|
|
|
(package
|
|
|
|
|
(name ce)
|
|
|
|
|
(synopsis "Configurable Evaluator")
|
|
|
|
|
(depends (ocaml (>= 4.12))))
|
