Skip to content

Commit b6a264c

Browse files
AltGrAltGr
authored
Merge pull request #28853 from AltGr/catala100
Catala 1.0.0 release
2 parents 21f97b2 + fe2b824 commit b6a264c

File tree

5 files changed

+169
-1
lines changed
  • packages
    • catala-format/catala-format.1.0.0
    • catala-lsp/catala-lsp.1.0.0
    • catala

5 files changed

+169
-1
lines changed

‎packages/catala-format/catala-format.1.0.0/opam‎

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
opam-version: "2.0"
2+
synopsis: "A formatter for Catala based on the Topiary universal formatting engine"
3+
description: """
4+
Topiary repository: https://github.com/tweag/topiary
5+
"""
6+
maintainer: "vincent.botbol@inria.fr"
7+
authors: [ "Vincent Botbol" ]
8+
license: "Apache-2.0"
9+
tags: [ "catala" "formatter" ]
10+
homepage: "https://github.com/CatalaLang/catala-format"
11+
bug-reports: "https://github.com/CatalaLang/catala-format"
12+
depends: [
13+
"ocaml"
14+
"dune"
15+
"cmdliner"
16+
"lwt" {with-test}
17+
"topiary" {= "0.5.1"}
18+
"conf-c++"
19+
"catala" { = "1.0.0" }
20+
]
21+
build:[
22+
"dune" "build" "-p" name "-j" jobs "@catala-format"
23+
]
24+
install: [
25+
[ "install" "_build/default/src/main.exe" "%{bin}%/catala-format" ]
26+
[ "mkdir" "-p" "%{topiary:share}%/queries" ]
27+
[ "install" "catala.scm" "%{topiary:share}%/queries/catala.scm" ]
28+
[ "mkdir" "-p" "%{topiary:share}%/configs/catala.ncl" ]
29+
[ "install" "catala.ncl" "%{topiary:share}%/configs/catala.ncl" ]
30+
]
31+
dev-repo: "git+https://github.com/CatalaLang/catala-format.git"
32+
url {
33+
src:
34+
"https://github.com/CatalaLang/catala-format/archive/refs/tags/1.0.0.tar.gz"
35+
checksum: [
36+
"md5=32da391969df81ca52d57293ec85e446"
37+
"sha512=dbb80718ea42ddca47fe5c9203bdd1f1be87bdb2713edbd1c18b3f1c013de6d26b428c5cc58eb299a9e688cbed505d1b551e4b3e6c064ee87baee6e653825a0f"
38+
]
39+
}
40+
x-maintenance-intent: ["(latest)"]

‎packages/catala-lsp/catala-lsp.1.0.0/opam‎

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
opam-version: "2.0"
2+
synopsis: "Catala Language Server Protocol (LSP)"
3+
description: """
4+
Implementation of a Language Server Protocol (LSP) for Catala.
5+
"""
6+
maintainer: "Vincent Botbol"
7+
authors: [ "Vincent Botbol" ]
8+
license: "Apache-2.0"
9+
tags: [ "catala" "lsp" ]
10+
homepage: "https://github.com/CatalaLang/catala-language-server"
11+
dev-repo: "git+https://github.com/CatalaLang/catala-language-server.git"
12+
bug-reports: "https://github.com/CatalaLang/catala-language-server/issues"
13+
depends: [
14+
"ocaml" { >= "4.14.1" }
15+
"dune" { >= "3.0" }
16+
"catala" { = "1.0.0" }
17+
"logs"
18+
"uri"
19+
"linol" { = "0.10" }
20+
"linol-lwt" { = "0.10" }
21+
"dap" { = "1.0.6" }
22+
"qcheck" { with-test & >= "0.21.3" }
23+
"tezt" { with-test }
24+
"atdgen" { build }
25+
"atdgen-runtime"
26+
"ptime"
27+
]
28+
build: [
29+
"dune" "build" "-p" name "-j" jobs "@install"
30+
"@runtest" {with-test}
31+
]
32+
url {
33+
src:
34+
"https://github.com/CatalaLang/catala-language-server/archive/refs/tags/1.0.0.tar.gz"
35+
checksum: [
36+
"md5=5410ee8cb3d83dfb605911bbfc6b63ee"
37+
"sha512=63d93f4fb859928564e6a7300066f5dd284bbb753e8f1d57cdb43755cd680f12647307a55cdc0ba58804ca05a128b90f0d36addb86e82ae74294ea9336816536"
38+
]
39+
}
40+
x-maintenance-intent: ["(latest)"]

‎packages/catala/catala.1.0.0/opam‎

Lines changed: 84 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,84 @@
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+
"""
7+
maintainer: "contact@catala-lang.org"
8+
authors: [
9+
"Vincent Botbol"
10+
"Nicolas Chataing"
11+
"Alain Delaët-Tixeuil"
12+
"Louis Gesbert"
13+
"Aymeric Fromherz"
14+
"Denis Merigoux"
15+
"Raphaël Monat"
16+
"Romain Primet"
17+
"Emile Rolley"
18+
]
19+
license: "Apache-2.0"
20+
tags: [ "catala" ]
21+
homepage: "https://github.com/CatalaLang/catala"
22+
bug-reports: "https://github.com/CatalaLang/catala/issues"
23+
depends: [
24+
"ocaml" {>= "4.14.0" }
25+
"ocamlfind" {!= "1.9.5"}
26+
"dune" {>= "3.13"}
27+
"cppo" {>= "1"}
28+
"menhir" {>= "20200211"}
29+
"menhirLib" {>= "20200211"}
30+
"ocolor" {>= "1.3.0"}
31+
"bindlib" {>= "6.0"}
32+
"cmdliner" {>= "1.1.0"}
33+
"ocamlgraph" {>= "1.8.8"}
34+
"re" {>= "1.11"}
35+
"sedlex" {>= "3.2"}
36+
"uucp" {>= "10"}
37+
"ubase" {>= "0.05"}
38+
"zarith" {>= "1.12"}
39+
"yojson" {>= "2.1.0"}
40+
"crunch" {>= "3.0.0"}
41+
"alcotest" {>= "1.5.0"}
42+
"ninja_utils" {= "0.9.0"}
43+
"otoml" {>= "1.0"}
44+
"odoc" {with-doc}
45+
"ocamlformat" {with-dev-setup & = "0.26.0"}
46+
"obelisk" {with-dev-setup}
47+
"conf-ninja" {post}
48+
# --- the following are "optional runtime dependencies" ---
49+
# they're listed here mostly for documentation ; one can export
50+
# OPAMVAR_cataladevmode=1 before installation to automatically get them
51+
"conf-npm" {post & ?cataladevmode & cataladevmode}
52+
"conf-python-3-dev" {post & ?cataladevmode & cataladevmode}
53+
"conf-openjdk" {post & ?cataladevmode & cataladevmode}
54+
"conf-pandoc" {post & ?cataladevmode & cataladevmode}
55+
"z3" {post & ?cataladevmode & cataladevmode}
56+
]
57+
depopts: ["z3"]
58+
conflicts: [
59+
"z3" {< "4.8.11"}
60+
]
61+
build: [
62+
"dune" "build" "-p" name "-j" jobs "@install"
63+
"@runtest" {with-test}
64+
"@doc" {with-doc}
65+
]
66+
build-env: [ CATALA_VERSION = "%{version}%" ]
67+
depexts: [
68+
["groff"] {with-doc}
69+
# --- the following are "optional runtime dependencies" ---
70+
# See above
71+
["python3-pip"] {?cataladevmode & cataladevmode & os-family = "debian"}
72+
["py3-pip" "py3-pygments"] {?cataladevmode & cataladevmode & os-distribution = "alpine"}
73+
["python-pygments"] {?cataladevmode & cataladevmode & os-family = "arch"}
74+
]
75+
dev-repo: "git+https://github.com/CatalaLang/catala"
76+
url {
77+
src:
78+
"https://github.com/CatalaLang/catala/archive/refs/tags/1.0.0.tar.gz"
79+
checksum: [
80+
"md5=42196e9a9c5e12839b38cb3da935f10c"
81+
"sha512=ede2d8c17dcb936c1c8c596f1453bf89370a2f824a190efe74e438d7d7f7f83875c1ecbc18219c6a8a3e98b3ab4da1c3a6cc4e534687dbc90f3dca8230f43f7b"
82+
]
83+
}
84+
x-maintenance-intent: ["(any).(any)"]

‎packages/catala/catala.1.0.0~alpha/opam‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -83,4 +83,6 @@ url {
8383
"md5=2615968670ac21b1d00386a9b04b3843"
8484
"sha512=eff292fdd75012f26ce7b17020f5a8374eef37cd4dd6ba60338dfbe89fbcad3443d1b409e44c182b740da9f58dff7e76dcb8ddefe47f9b2b160666d1c6930143"
8585
]
86-
}
86+
}
87+
flags: [ avoid-version ]
88+
x-maintained: false

‎packages/catala/catala.1.0.0~beta/opam‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -80,3 +80,5 @@ url {
8080
"sha512=1e07951e2d73040bc0bea89f04bcb50c3a533323a7c7d8bac9ee9aa6be5233f795a32857421d04f17e52a841057cdc78b33f79fa239a17dd12de97a738c81999"
8181
]
8282
}
83+
flags: [ avoid-version ]
84+
x-maintained: false

0 commit comments

Comments
 (0)