From c5b8e558da40edd3804b3c257c352dc27a2e5d39 Mon Sep 17 00:00:00 2001 From: Vincent Botbol Date: Wed, 3 Jun 2026 13:49:47 +0200 Subject: [PATCH] Publish catala.1.2.0 --- .../catala-format/catala-format.1.2.0/opam | 38 ++++++++ packages/catala-js/catala-js.1.2.0/opam | 48 ++++++++++ packages/catala-lsp/catala-lsp.1.2.0/opam | 48 ++++++++++ packages/catala-proof/catala-proof.1.2.0/opam | 47 ++++++++++ packages/catala/catala.1.2.0/opam | 88 +++++++++++++++++++ 5 files changed, 269 insertions(+) create mode 100644 packages/catala-format/catala-format.1.2.0/opam create mode 100644 packages/catala-js/catala-js.1.2.0/opam create mode 100644 packages/catala-lsp/catala-lsp.1.2.0/opam create mode 100644 packages/catala-proof/catala-proof.1.2.0/opam create mode 100644 packages/catala/catala.1.2.0/opam diff --git a/packages/catala-format/catala-format.1.2.0/opam b/packages/catala-format/catala-format.1.2.0/opam new file mode 100644 index 000000000000..e4c4e25d4e4c --- /dev/null +++ b/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)"] diff --git a/packages/catala-js/catala-js.1.2.0/opam b/packages/catala-js/catala-js.1.2.0/opam new file mode 100644 index 000000000000..608822e37833 --- /dev/null +++ b/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)"] diff --git a/packages/catala-lsp/catala-lsp.1.2.0/opam b/packages/catala-lsp/catala-lsp.1.2.0/opam new file mode 100644 index 000000000000..58d16b81da10 --- /dev/null +++ b/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)"] diff --git a/packages/catala-proof/catala-proof.1.2.0/opam b/packages/catala-proof/catala-proof.1.2.0/opam new file mode 100644 index 000000000000..1c5c7c945ad6 --- /dev/null +++ b/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)"] diff --git a/packages/catala/catala.1.2.0/opam b/packages/catala/catala.1.2.0/opam new file mode 100644 index 000000000000..3496442fb1cf --- /dev/null +++ b/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)"]