this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "Compiler and library for the literate programming language for tax code specification"
4description:
5 "Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information"
6maintainer: ["contact@catala-lang.org"]
7authors: [
8 "Denis Merigoux"
9 "Nicolas Chataing"
10 "Emile Rolley"
11 "Louis Gesbert"
12 "Aymeric Fromherz"
13 "Alain Delaët-Tixeuil"
14 "Raphaël Monat"
15]
16license: "Apache-2.0"
17homepage: "https://github.com/CatalaLang/catala"
18bug-reports: "https://github.com/CatalaLang/catala/issues"
19depends: [
20 "ocolor" {>= "1.3.0"}
21 "benchmark" {>= "1.6"}
22 "bindlib" {>= "6.0.0"}
23 "cmdliner" {>= "1.1.0"}
24 "cppo" {>= "1"}
25 "dates_calc" {>= "0.0.4"}
26 "dune" {>= "3.11"}
27 "js_of_ocaml-ppx" {= "4.1.0"}
28 "menhir" {>= "20200211"}
29 "menhirLib" {>= "20200211"}
30 "ocaml" {>= "4.14.0"}
31 "ocamlfind" {!= "1.9.5"}
32 "ocamlgraph" {>= "1.8.8"}
33 "yojson" {>= "2.0" }
34 "ppx_yojson_conv" {>= "0.14.0"}
35 "re" {>= "1.9.0"}
36 "sedlex" {>= "2.4"}
37 "uutf" {>= "1.0.3"}
38 "ubase" {>= "0.05"}
39 "unionFind" {>= "20220109"}
40 "visitors" {>= "20200210"}
41 "zarith" {>= "1.12"}
42 "zarith_stubs_js" {>= "v0.14.1"}
43 "crunch" {>= "3.0.0"}
44 "alcotest" {>= "1.5.0"}
45 "ninja_utils" {= "0.9.0"}
46 "odoc" {with-doc}
47 "conf-ninja"
48 "ocamlformat" {with-dev-setup & = "0.26.0"}
49 "obelisk" {with-dev-setup}
50 "conf-npm" {with-dev-setup}
51 "conf-python-3-dev" {with-dev-setup}
52 "cpdf" {with-dev-setup}
53 "conf-diffutils" {with-dev-setup}
54 "conf-texlive" {with-dev-setup}
55 "conf-pandoc" {with-dev-setup}
56]
57depopts: ["z3"]
58conflicts: [
59 "z3" {< "4.8.11"}
60 "base" {>= "v0.16.0"}
61 "ocaml-option-bytecode-only"
62]
63build: [
64 [
65 "dune"
66 "build"
67 "-p"
68 name
69 "-j"
70 jobs
71 "@install"
72 "@runtest" {with-test}
73 "@doc" {with-doc}
74 ]
75]
76dev-repo: "git+https://github.com/CatalaLang/catala.git"
77depexts: [
78 ["groff"] { with-doc }
79]
80url {
81 src: "https://github.com/CatalaLang/catala/archive/refs/tags/0.9.0.tar.gz"
82 checksum: [
83 "md5=8f891209d18b6540df9c34b2d1a6a783"
84 "sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2"
85 ]
86}