this repo has no description
Merge pull request #25248 from AltGr/opam-publish-catala.0.9.0
Package catala.0.9.0
authored by
Marcello Seri
and committed by
GitHub
82097b18
444cd5f8
+86
+86
packages/catala/catala.0.9.0/opam
+86
packages/catala/catala.0.9.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
+
"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
+
]
57
+
depopts: ["z3"]
58
+
conflicts: [
59
+
"z3" {< "4.8.11"}
60
+
"base" {>= "v0.16.0"}
61
+
"ocaml-option-bytecode-only"
62
+
]
63
+
build: [
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
+
]
76
+
dev-repo: "git+https://github.com/CatalaLang/catala.git"
77
+
depexts: [
78
+
["groff"] { with-doc }
79
+
]
80
+
url {
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
+
}