2020-04-17 13:29:30 +03:00
|
|
|
(lang dune 2.2)
|
2020-12-21 20:15:53 +03:00
|
|
|
|
2020-04-16 18:47:35 +03:00
|
|
|
(name catala)
|
2020-12-18 15:13:51 +03:00
|
|
|
(version 0.2.0)
|
2019-09-04 11:32:33 +03:00
|
|
|
(generate_opam_files true)
|
2020-11-23 11:22:47 +03:00
|
|
|
(formatting)
|
2019-09-04 11:32:33 +03:00
|
|
|
|
2020-04-28 16:08:12 +03:00
|
|
|
(source (uri git+https://github.com/CatalaLang/catala.git))
|
|
|
|
(homepage https://github.com/CatalaLang/catala)
|
|
|
|
(bug_reports https://github.com/CatalaLang/catala/issues)
|
2019-09-04 11:32:33 +03:00
|
|
|
(authors "Denis Merigoux")
|
2020-12-14 12:59:15 +03:00
|
|
|
(maintainers "contact@catala-lang.org")
|
2021-01-05 16:35:04 +03:00
|
|
|
(license Apache-2.0)
|
2019-09-04 11:32:33 +03:00
|
|
|
|
|
|
|
|
|
|
|
(package
|
2020-04-16 18:47:35 +03:00
|
|
|
(name catala)
|
2019-09-04 11:32:33 +03:00
|
|
|
(synopsis "Low-level language for tax code specification")
|
2020-04-16 18:47:35 +03:00
|
|
|
(description "\| The Catala language is designed to be a low-level target for
|
2019-09-04 11:32:33 +03:00
|
|
|
"\| higher-level specification languages for fiscal legislation.
|
|
|
|
)
|
2020-05-23 00:02:48 +03:00
|
|
|
(depends
|
2020-12-22 20:53:44 +03:00
|
|
|
(ocaml (>= 4.08.0))
|
2020-05-23 00:02:48 +03:00
|
|
|
(ANSITerminal (>= 0.8.2))
|
|
|
|
(sedlex (>= 2.1))
|
|
|
|
(menhir (>= 20200211))
|
|
|
|
(menhirLib (>= 20200211))
|
2020-12-21 18:52:17 +03:00
|
|
|
(unionFind (>= 20200320))
|
2020-12-14 12:59:15 +03:00
|
|
|
(bindlib (>= 5.0.1))
|
2020-05-23 00:02:48 +03:00
|
|
|
(cmdliner (>= 1.0.4))
|
|
|
|
(re (>= 1.9.0))
|
2020-12-14 12:59:15 +03:00
|
|
|
(zarith (>= 1.10))
|
2020-12-21 20:15:53 +03:00
|
|
|
(zarith_stubs_js (>= 0.14.0))
|
2020-12-22 20:53:44 +03:00
|
|
|
(dune (>= 2.2))
|
2020-08-03 19:07:09 +03:00
|
|
|
(ocamlgraph (>= 1.8.8))
|
2021-01-14 15:04:15 +03:00
|
|
|
(calendar (>= 2.04))
|
2021-01-20 18:06:04 +03:00
|
|
|
(visitors (>= 20200210))
|
2021-01-29 01:46:39 +03:00
|
|
|
(benchmark (>= 1.6))
|
2020-05-23 00:02:48 +03:00
|
|
|
)
|
|
|
|
)
|
|
|
|
|
2020-12-26 19:37:41 +03:00
|
|
|
(using menhir 2.1)
|