opam - catala.1.0.0~alpha

catalaversion
1.0.0~alpha (latest)
0.2.0
0.3.0
0.5.0
0.6.0
0.7.0
0.8.0
0.9.0
0.10.0
1.0.0~alpha (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	Vincent Botbol, Nicolas Chataing, Alain Delaët-Tixeuil, Louis Gesbert, Aymeric Fromherz, Denis Merigoux, Raphaël Monat, Romain Primet and Emile Rolley
License	Apache-2.0
Published	Sep 24, 2025
Homepage	https://github.com/CatalaLang/catala
Issue Tracker	https://github.com/CatalaLang/catala/issues
Maintainer	contact@catala-lang.org
Dependencies	ocolor>=1.3.0 bindlib>=6.0 cmdliner>=1.1.0 cppo>=1 dates_calc>=0.0.7 dune>=3.13 js_of_ocaml-ppx=4.1.0 menhir>=20200211 menhirLib>=20200211 ocaml>=4.14.0 ocamlfind!=1.9.5 ocamlgraph>=1.8.8 re>=1.11 sedlex>=3.2 uucp>=10 ubase>=0.05 zarith>=1.12 zarith_stubs_js>=v0.14.1 yojson>=2.1.0 crunch>=3.0.0 alcotest>=1.5.0 ninja_utils=0.9.0 odocwith-doc ocamlformatcataladevmode & =0.26.0 obeliskcataladevmode conf-npmcataladevmode conf-python-3-devcataladevmode conf-openjdkcataladevmode cpdfcataladevmode conf-pandoccataladevmode z3catalaz3mode conf-ninja otoml>=1.0
Optional dependencies	z3
Conflicts	z3<4.8.11 base>=v0.16.0
Source [http]	https://github.com/CatalaLang/catala/archive/refs/tags/1.0.0-alpha.tar.gz md5=2615968670ac21b1d00386a9b04b3843 sha512=eff292fdd75012f26ce7b17020f5a8374eef37cd4dd6ba60338dfbe89fbcad3443d1b409e44c182b740da9f58dff7e76dcb8ddefe47f9b2b160666d1c6930143
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/catala/catala.1.0.0~alpha/opam

No package is dependent