opam - catala.1.1.0

catalaversion
1.1.0 (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
1.0.0~beta
1.0.0
1.1.0 (latest)
Documentation on ocaml.org

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

Tags	catala
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	Jan 28, 2026
Homepage	https://github.com/CatalaLang/catala
Issue Tracker	https://github.com/CatalaLang/catala/issues
Maintainer	contact@catala-lang.org
Dependencies	ocaml>=4.14.0 ocamlfind!=1.9.5 dune>=3.13 cppo>=1 menhir>=20200211 menhirLib>=20200211 ocolor>=1.3.0 bindlib>=6.0 cmdliner>=1.1.0 ocamlgraph>=1.8.8 re>=1.11 sedlex>=3.2 uucp>=10 ubase>=0.05 zarith>=1.12 yojson>=2.1.0 hex>=1.5.0 json-data-encoding>=1.0.1 crunch>=3.0.0 alcotest>=1.5.0 ninja_utils=0.9.0 otoml>=1.0 odocwith-doc ocamlformatwith-dev-setup & =0.28.1 obeliskwith-dev-setup conf-ninjapost conf-npm conf-python-3-dev conf-openjdk conf-pandoc z3
Optional dependencies	z3
Conflicts	z3<4.8.11
Source [http]	https://github.com/CatalaLang/catala/archive/refs/tags/1.1.0.tar.gz md5=ec7dda88c5f7f371d2a35874cdae2a10 sha512=7cedccfbe5330992d5730441d6ba7b97446237ff5bb4579498a167f2319ec03e8fae50b7f80e3abe96833744b61ffd10719ce0c3e4c144893a4b7adc77e91b56
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/catala/catala.1.1.0/opam

Required by

catala-format>=1.1.0
catala-lsp>=1.1.0