opam - catala

catalaversion
0.9.0 (latest)
0.2.0
0.3.0
0.5.0
0.6.0
0.7.0
0.8.0
0.9.0 (latest)

Compiler and library for the literate programming language for tax code specification

Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information

Authors	Denis Merigoux, Nicolas Chataing, Emile Rolley, Louis Gesbert, Aymeric Fromherz, Alain Delaët-Tixeuil and Raphaël Monat
License	Apache-2.0
Published	Feb 14, 2024
Homepage	https://github.com/CatalaLang/catala
Issue Tracker	https://github.com/CatalaLang/catala/issues
Maintainer	contact@catala-lang.org
Dependencies	ocolor>=1.3.0 benchmark>=1.6 bindlib>=6.0.0 cmdliner>=1.1.0 cppo>=1 dates_calc>=0.0.4 dune>=3.11 js_of_ocaml-ppx=4.1.0 menhir>=20200211 menhirLib>=20200211 ocaml>=4.14.0 ocamlfind!=1.9.5 ocamlgraph>=1.8.8 yojson>=2.0 ppx_yojson_conv>=0.14.0 re>=1.9.0 sedlex>=2.4 uutf>=1.0.3 ubase>=0.05 unionFind>=20220109 visitors>=20200210 zarith>=1.12 zarith_stubs_js>=v0.14.1 crunch>=3.0.0 alcotest>=1.5.0 ninja_utils=0.9.0 odocwith-doc conf-ninja ocamlformatwith-dev-setup & =0.26.0 obeliskwith-dev-setup conf-npmwith-dev-setup conf-python-3-devwith-dev-setup cpdfwith-dev-setup conf-diffutilswith-dev-setup conf-texlivewith-dev-setup conf-pandocwith-dev-setup
Optional dependencies	z3
Conflicts	z3<4.8.11 base>=v0.16.0 ocaml-option-bytecode-only
Source [http]	https://github.com/CatalaLang/catala/archive/refs/tags/0.9.0.tar.gz md5=8f891209d18b6540df9c34b2d1a6a783 sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/catala/catala.0.9.0/opam

No package is dependent