opam - catala.0.7.0

catalaversion
0.7.0
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 (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

Authors	Denis Merigoux, Nicolas Chataing, Emile Rolley, Louis Gesbert, Aymeric Fromherz and Alain Delaët-Tixeuil
License	Apache-2.0
Published	Aug 9, 2022
Homepage	https://github.com/CatalaLang/catala
Issue Tracker	https://github.com/CatalaLang/catala/issues
Maintainer	contact@catala-lang.org
Dependencies	ANSITerminal>=0.8.2 benchmark>=1.6 bindlib>=5.0.1 calendar>=2.04 cmdliner>=1.1.0 cppo>=1 dune>=2.8 js_of_ocaml-ppx>=4.0.0 menhir>=20200211 menhirLib>=20200211 ocaml>=4.13.0 ocamlgraph>=1.8.8 ppx_yojson_conv>=v0.14.0 & <v0.16.0 re>=1.9.0 sedlex>=2.4 & <3.5 ubase>=0.05 unionFind>=20200320 visitors>=20200210 zarith>=1.12 zarith_stubs_js>=v0.14.1 alcotestwith-test & >=1.5.0 odocwith-doc
Optional dependencies	z3
Conflicts	z3<4.8.11
Source [http]	https://github.com/CatalaLang/catala/archive/0.7.0.tar.gz md5=6dbbc2f50c23693f26ab6f048e78172f sha512=a5701e14932d8a866e2aa3731f76df85ff2a68b4fa943fd510c535913573274d66eaec1ae6fcae17f20b475876048a9ab196ef6d8c23d4ea6b90b986aa0a6daa
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/catala/catala.0.7.0/opam

No package is dependent