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: """
5Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information
6"""
7maintainer: ["contact@catala-lang.org"]
8authors: [
9 "Denis Merigoux"
10 "Nicolas Chataing"
11 "Emile Rolley"
12 "Louis Gesbert"
13 "Aymeric Fromherz"
14 "Alain Delaët-Tixeuil"
15]
16license: "Apache-2.0"
17homepage: "https://github.com/CatalaLang/catala"
18bug-reports: "https://github.com/CatalaLang/catala/issues"
19depends: [
20 "dune" {>= "2.8"}
21 "ocaml" {>= "4.11.0"}
22 "ANSITerminal" {>= "0.8.2"}
23 "sedlex" {>= "2.4"}
24 "menhir" {>= "20200211"}
25 "menhirLib" {>= "20200211"}
26 "unionFind" {>= "20200320"}
27 "bindlib" {>= "5.0.1"}
28 "cmdliner" {= "1.0.4"}
29 "re" {>= "1.9.0"}
30 "zarith" {>= "1.12"}
31 "zarith_stubs_js" {>= "v0.14.1"}
32 "ocamlgraph" {>= "1.8.8"}
33 "calendar" {>= "2.04"}
34 "visitors" {>= "20200210"}
35 "benchmark" {>= "1.6"}
36 "js_of_ocaml-ppx" {>= "3.8.0"}
37 "camomile" {>= "1.0.2" & < "2.0.0"}
38 "z3" {>= "4.8.11"}
39 "cppo" {>= "1"}
40 "alcotest" {with-test & >= "1.5.0"}
41 "odoc" {with-doc}
42]
43build: [
44 ["dune" "subst"] {dev}
45 [
46 "dune"
47 "build"
48 "-p"
49 name
50 "-j"
51 jobs
52 "@install"
53 "@runtest" {with-test}
54 "@doc" {with-doc}
55 ]
56]
57dev-repo: "git+https://github.com/CatalaLang/catala.git"
58url {
59 src: "https://github.com/CatalaLang/catala/archive/0.6.0.tar.gz"
60 checksum: [
61 "md5=b22e238d5d5c8452067109e9c7c0f427"
62 "sha512=ccc8c557c67c2f9d1bed4b957b2367f0f6afc0ef9b8b83237cf2a2912b3e8829b7e8af78ea7fe00b20ecf28b436ad04b591e5fff4f82fd08725d40a18c9924d0"
63 ]
64}