Release catala.1.2.0

packages/catala-format/catala-format.1.2.0/opam

@@ -0,0 +1,38 @@
+opam-version: "2.0"
+version: "1.2.0"
+maintainer: "vincent.botbol@inria.fr"
+authors: [ "Vincent Botbol" ]
+homepage: "https://github.com/CatalaLang/catala-format"
+bug-reports: "https://github.com/CatalaLang/catala-format"
+dev-repo: "git+https://github.com/CatalaLang/catala-format.git"
+license: "Apache-2.0"
+depends: [
+  "ocaml"
+  "dune"
+  "cmdliner"
+  "lwt" {with-test}
+  "topiary" {>= "0.5.1" & < "0.6"}
+  "conf-c++"
+  "re" {>= "1.11"}
+]
+build:[
+  "dune" "build"
+  "-p" name
+  "-j" jobs
+  "@install"
+]
+synopsis: "A formatter for Catala based on the Topiary universal formatting engine"
+description: """
+A formatter for Catala based on the Topiary universal formatting engine.
+
+Topiary repository: https://github.com/tweag/topiary
+"""
+url {
+  src:
+    "https://github.com/CatalaLang/catala-format/archive/refs/tags/1.2.0.tar.gz"
+  checksum: [
+    "md5=3c2098543dd9b36b314af3b95db3b4d0"
+    "sha512=89e7fc0e2d946cc9cb285b68bd65acc5f62a02bc2a0a44587046964e26552a72f1f6621d9089f22793a225b9290065ad1179ec86c0cc6872259f5ca2256b5f15"
+  ]
+}
+x-maintenance-intent: ["(latest)"]

packages/catala-js/catala-js.1.2.0/opam

@@ -0,0 +1,48 @@
+opam-version: "2.0"
+version: "1.2.0"
+synopsis:
+  "Catala additional tools for javascript"
+description: """
+This package contains javascript-related Catala utilities:
+- a js_of_ocaml version of the Catala interpreter that can be embedded in a web playground
+- a wrapper for the ocaml runtime compiled with jsoo
+- two plugins to generate javascript wrappers and json schemas to simplify usage of a jsoo-compiled catala program
+"""
+maintainer: "contact@catala-lang.org"
+authors: [
+  "Vincent Botbol"
+  "Nicolas Chataing"
+  "Alain Delaët-Tixeuil"
+  "Louis Gesbert"
+  "Aymeric Fromherz"
+  "Denis Merigoux"
+  "Raphaël Monat"
+  "Romain Primet"
+  "Emile Rolley"
+]
+license: "Apache-2.0"
+tags: [ "catala" "javascript" ]
+homepage: "https://github.com/CatalaLang/catala"
+bug-reports: "https://github.com/CatalaLang/catala/issues"
+depends: [
+  "catala" {= _:version}
+  "zarith_stubs_js" {>= "v0.16.1"}
+  "js_of_ocaml" {>= "6.0"}
+  "js_of_ocaml-ppx" {>= "6.0"}
+]
+build: [
+  "dune" "build" "-p" name "-j" jobs "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+]
+build-env: [ CATALA_VERSION = "%{version}%" ]
+dev-repo: "git+https://github.com/CatalaLang/catala"
+url {
+  src:
+    "https://github.com/CatalaLang/catala/archive/refs/tags/1.2.0.tar.gz"
+  checksum: [
+    "md5=27397985bb5412c5e5309894996b83ae"
+    "sha512=ef4de7bb471b3d6deaf257e54267251e1dd2bced699f7a1b27c9e37605e48197f0228c581f1b3bc56876c4b65aa02a36a87a527915eb237b1cf81dcf25600d4f"
+  ]
+}
+x-maintenance-intent: ["(latest)"]

packages/catala-lsp/catala-lsp.1.2.0/opam

@@ -0,0 +1,48 @@
+opam-version: "2.0"
+version: "1.2.0"
+name: "catala-lsp"
+maintainer: "Vincent Botbol"
+authors: [ "Vincent Botbol" ]
+license: "Apache-2.0"
+build: [
+  "dune"
+  "build"
+  "-p"
+  name
+  "-j"
+  jobs
+  "@install"
+  "@runtest" {with-test}
+]
+depends: [
+  "ocaml"          {>= "4.14.1"}
+  "dune"           {>= "3.0"}
+  "catala"         {= version}
+  "logs"
+  "uri"
+  "linol"          {= "0.10"}
+  "linol-lwt"      {= "0.10"}
+  "dap"            {= "1.0.6"}
+  "qcheck"         {with-test & >= "0.21.3"}
+  "tezt"           {with-test}
+  "atdgen"         {build}
+  "atdgen-runtime"
+  "ptime"
+  "atdts"          {with-dev-setup & >= "2.16.0"}
+  "ocamlformat"    {with-dev-setup & = "0.28.1"}
+]
+tags: [ "catala" "lsp" ]
+homepage: "https://github.com/CatalaLang/catala-language-server"
+dev-repo: "git+https://github.com/CatalaLang/catala-language-server.git"
+bug-reports: "https://github.com/CatalaLang/catala-language-server/issues"
+synopsis: "Catala Language Server Protocol (LSP)"
+description:"Implementation of a Language Server Protocol (LSP) for Catala."
+url {
+  src:
+    "https://github.com/CatalaLang/catala-language-server/archive/refs/tags/1.2.0.tar.gz"
+  checksum: [
+    "md5=c3a347a6766523604a842bb186330aa6"
+    "sha512=f9fd1085af469d3323387b3e6b2dfae054409a9338594a92e01384992c142ddca8d354a9c1e36b2ab63c718fabffa3ea5eec3558ba19f5c4c8594c10691f16a0"
+  ]
+}
+x-maintenance-intent: ["(latest)"]

packages/catala-proof/catala-proof.1.2.0/opam

@@ -0,0 +1,47 @@
+opam-version: "2.0"
+version: "1.2.0"
+synopsis:
+  "Catala proof backend plugin"
+description: """
+This package provides a plugin for Catala that provides a Z3 encoding
+of programs and can prove some properties on them
+"""
+maintainer: "contact@catala-lang.org"
+authors: [
+  "Vincent Botbol"
+  "Nicolas Chataing"
+  "Alain Delaët-Tixeuil"
+  "Louis Gesbert"
+  "Aymeric Fromherz"
+  "Denis Merigoux"
+  "Raphaël Monat"
+  "Romain Primet"
+  "Emile Rolley"
+]
+license: "Apache-2.0"
+tags: [ "catala" "javascript" ]
+homepage: "https://github.com/CatalaLang/catala"
+bug-reports: "https://github.com/CatalaLang/catala/issues"
+depends: [
+  "catala" {= _:version}
+  "z3" {>= "4.8.11"}
+]
+build: [
+  "dune" "build" "-p" name "-j" jobs "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+]
+run-test: [
+  "dune" "exec" "--" "clerk" "test" "tests-extra/proof/"
+]
+build-env: [ CATALA_VERSION = "%{version}%" ]
+dev-repo: "git+https://github.com/CatalaLang/catala"
+url {
+  src:
+    "https://github.com/CatalaLang/catala/archive/refs/tags/1.2.0.tar.gz"
+  checksum: [
+    "md5=27397985bb5412c5e5309894996b83ae"
+    "sha512=ef4de7bb471b3d6deaf257e54267251e1dd2bced699f7a1b27c9e37605e48197f0228c581f1b3bc56876c4b65aa02a36a87a527915eb237b1cf81dcf25600d4f"
+  ]
+}
+x-maintenance-intent: ["(latest)"]

packages/catala/catala.1.2.0/opam

@@ -0,0 +1,88 @@
+opam-version: "2.0"
+version: "1.2.0"
+synopsis:
+  "Compiler and library for the literate programming language for tax code specification"
+description: """
+Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information
+"""
+maintainer: "contact@catala-lang.org"
+authors: [
+  "Vincent Botbol"
+  "Nicolas Chataing"
+  "Alain Delaët-Tixeuil"
+  "Louis Gesbert"
+  "Aymeric Fromherz"
+  "Denis Merigoux"
+  "Raphaël Monat"
+  "Romain Primet"
+  "Emile Rolley"
+]
+license: "Apache-2.0"
+tags: [ "catala" ]
+homepage: "https://github.com/CatalaLang/catala"
+bug-reports: "https://github.com/CatalaLang/catala/issues"
+depends: [
+  "ocaml" {>= "4.14.0" }
+  "ocamlfind" {!= "1.9.5"}
+  "dune" {>= "3.13"}
+  "cppo" {>= "1"}
+  "menhir" {>= "20200211" & < "20260112"}
+  # See https://github.com/CatalaLang/catala/issues/939 for the upper bound
+  "menhirLib" {>= "20200211" & < "20260112"}
+  "ocolor" {>= "1.3.0"}
+  "bindlib" {>= "6.0"}
+  "cmdliner" {>= "1.1.0"}
+  "ocamlgraph" {>= "1.8.8"}
+  "re" {>= "1.11"}
+  "sedlex" {>= "3.2"}
+  "uucp" {>= "10"}
+  "ubase" {>= "0.05"}
+  "zarith" {>= "1.12"}
+  "yojson" {>= "2.1.0" & < "3"}
+   # Not a strict upper bound for catala, but other tools (adgen) have it and we
+   # don't want them to need a catala recompile
+  "crunch" {>= "3.0.0"}
+  "hex" { >= "1.5.0"}
+  "alcotest" {>= "1.5.0"}
+  "ninja_utils" {= "1.0.0"}
+  "otoml" {>= "1.0"}
+  "json-data-encoding" { >= "1.0.1" }
+  "odoc" {with-doc}
+  "ocamlformat" {?cataladevmode & cataladevmode & = "0.28.1"}
+  "obelisk" {?cataladevmode & cataladevmode}
+  "conf-ninja" {post}
+  # --- the following are "optional runtime dependencies" ---
+  # they're listed here mostly for documentation ; one can export
+  # OPAMVAR_cataladevmode=1 before installation to automatically get them
+  "conf-npm" {post & ?cataladevmode & cataladevmode}
+  "conf-python-3-dev" {post & ?cataladevmode & cataladevmode}
+  "conf-openjdk" {post & ?cataladevmode & cataladevmode}
+  "conf-pandoc" {post & ?cataladevmode & cataladevmode}
+]
+build: [
+  "dune" "build" "-p" name "-j" jobs "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+]
+run-test: [
+  "dune" "exec" "--" "clerk" "test" "tests/"
+]
+build-env: [ CATALA_VERSION = "%{version}%" ]
+depexts: [
+  ["groff"] {with-doc}
+  # --- the following are "optional runtime dependencies" ---
+  # See above
+  ["python3-pip"] {?cataladevmode & cataladevmode & os-family = "debian"}
+  ["py3-pip" "py3-pygments"] {?cataladevmode & cataladevmode & os-distribution = "alpine"}
+  ["python-pygments"] {?cataladevmode & cataladevmode & os-family = "arch"}
+]
+dev-repo: "git+https://github.com/CatalaLang/catala"
+url {
+  src:
+    "https://github.com/CatalaLang/catala/archive/refs/tags/1.2.0.tar.gz"
+  checksum: [
+    "md5=27397985bb5412c5e5309894996b83ae"
+    "sha512=ef4de7bb471b3d6deaf257e54267251e1dd2bced699f7a1b27c9e37605e48197f0228c581f1b3bc56876c4b65aa02a36a87a527915eb237b1cf81dcf25600d4f"
+  ]
+}
+x-maintenance-intent: ["(latest)"]