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)
|
2021-03-18 18:41:55 +03:00
|
|
|
(version 0.3.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)
|
2021-03-19 18:34:19 +03:00
|
|
|
(synopsis "Literate programming language for tax code specification")
|
2021-03-19 20:34:38 +03:00
|
|
|
(description "\| Catala is a domain-specific language for deriving faithful-by-construction
|
|
|
|
"\| algorithms from legislative texts. See https://catala-lang.org for more information
|
|
|
|
)
|
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))
|
2021-04-02 18:57:44 +03:00
|
|
|
(zarith (= 1.11))
|
2021-04-06 22:43:10 +03:00
|
|
|
(zarith_stubs_js (= v0.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))
|
2021-03-18 18:52:46 +03:00
|
|
|
(js_of_ocaml-ppx (>= 3.8.0))
|
|
|
|
(camomile (>= 1.0.2))
|
2020-05-23 00:02:48 +03:00
|
|
|
)
|
|
|
|
)
|
|
|
|
|
2021-02-01 22:20:33 +03:00
|
|
|
(using menhir 2.1)
|
2021-03-18 18:41:55 +03:00
|
|
|
(allow_approximate_merlin)
|