this repo has no description
Package catala.0.10.0
+82
+82
packages/catala/catala.0.10.0/opam
+82
packages/catala/catala.0.10.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"Compiler and library for the literate programming language for tax code specification"
4
+
description:
5
+
"Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information"
6
+
maintainer: "contact@catala-lang.org"
7
+
authors: [
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
+
]
16
+
license: "Apache-2.0"
17
+
homepage: "https://github.com/CatalaLang/catala"
18
+
bug-reports: "https://github.com/CatalaLang/catala/issues"
19
+
depends: [
20
+
"ocolor" {>= "1.3.0"}
21
+
"bindlib" {>= "6.0"}
22
+
"cmdliner" {>= "1.1.0"}
23
+
"cppo" {>= "1"}
24
+
"dates_calc" {>= "0.0.4"}
25
+
"dune" {>= "3.11"}
26
+
"js_of_ocaml-ppx" {= "4.1.0"}
27
+
"menhir" {>= "20200211"}
28
+
"menhirLib" {>= "20200211"}
29
+
"ocaml" {>= "4.14.0"}
30
+
"ocamlfind" {!= "1.9.5"}
31
+
"ocamlgraph" {>= "1.8.8"}
32
+
"re" {>= "1.10"}
33
+
"sedlex" {>= "2.4"}
34
+
"uutf" {>= "1.0.3"}
35
+
"ubase" {>= "0.05"}
36
+
"unionFind" {>= "20220109"}
37
+
"visitors" {>= "20200210"}
38
+
"zarith" {>= "1.12"}
39
+
"zarith_stubs_js" {>= "v0.14.1"}
40
+
"crunch" {>= "3.0.0"}
41
+
"alcotest" {>= "1.5.0"}
42
+
"ninja_utils" {= "0.9.0"}
43
+
"odoc" {with-doc}
44
+
"ocamlformat" {with-dev-setup & = "0.26.0"}
45
+
"obelisk" {with-dev-setup}
46
+
"conf-npm" {with-dev-setup}
47
+
"conf-python-3-dev" {with-dev-setup}
48
+
"cpdf" {with-dev-setup}
49
+
"conf-diffutils" {with-dev-setup}
50
+
"conf-pandoc" {with-dev-setup}
51
+
"conf-ninja"
52
+
]
53
+
depopts: ["z3"]
54
+
conflicts: [
55
+
"z3" {< "4.8.11"}
56
+
"base" {>= "v0.16.0"}
57
+
]
58
+
build: [
59
+
"dune"
60
+
"build"
61
+
"-p"
62
+
name
63
+
"-j"
64
+
jobs
65
+
"@install"
66
+
"@runtest" {with-test}
67
+
"@doc" {with-doc}
68
+
]
69
+
dev-repo: "git+https://github.com/CatalaLang/catala.git"
70
+
depexts: [
71
+
["groff"] { with-doc }
72
+
["python3-pip"] {with-dev-setup & os-family = "debian"}
73
+
["py3-pip" "py3-pygments"] {with-dev-setup & os-distribution = "alpine"}
74
+
["python-pygments"] {with-dev-setup & os-family = "arch"}
75
+
]
76
+
url {
77
+
src: "https://github.com/CatalaLang/catala/archive/refs/tags/0.10.0.tar.gz"
78
+
checksum: [
79
+
"md5=5abd76e8c51a47670645e91b21b57fc5"
80
+
"sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b"
81
+
]
82
+
}