Catala version 1.0.0~beta

packages/catala-format/catala-format.1.0.0~beta/opam

@@ -0,0 +1,39 @@
+opam-version: "2.0"
+synopsis: "A formatter for Catala based on the Topiary universal formatting engine"
+description: """
+Topiary repository: https://github.com/tweag/topiary
+"""
+maintainer: "[email protected]"
+authors: [ "Vincent Botbol" ]
+license: "Apache-2.0"
+tags: [ "catala" "formatter" ]
+homepage: "https://github.com/CatalaLang/catala-format"
+bug-reports: "https://github.com/CatalaLang/catala-format"
+depends: [
+  "ocaml"
+  "dune"
+  "cmdliner"
+  "lwt" {with-test}
+  "topiary" {= "0.5.1"}
+  "conf-c++"
+  "catala" { = "1.0.0~beta" }
+]
+build:[
+  "dune" "build" "-p" name "-j" jobs "@catala-format"
+]
+install: [
+  [ "install" "_build/default/src/main.exe" "%{bin}%/catala-format" ]
+  [ "mkdir" "-p" "%{topiary:share}%/queries" ]
+  [ "install" "catala.scm" "%{topiary:share}%/queries/catala.scm" ]
+  [ "mkdir" "-p" "%{topiary:share}%/configs/catala.ncl" ]
+  [ "install" "catala.ncl" "%{topiary:share}%/configs/catala.ncl" ]
+]
+dev-repo: "git+https://github.com/CatalaLang/catala-format.git"
+url {
+  src:
+    "https://github.com/CatalaLang/catala-format/archive/refs/tags/1.0.0-beta.tar.gz"
+  checksum: [
+    "md5=a61839ae3bf2418f49da9da67d744da2"
+    "sha512=ef364121d276b21acce9f63fa4612d230bd38624c62d34f5e138572c371a04586b40b91deaca98f64a564dfcca9883b39b24c99cc6f80b2784d08245915df039"
+  ]
+}

packages/catala-lsp/catala-lsp.1.0.0~beta/opam

@@ -0,0 +1,38 @@
+opam-version: "2.0"
+synopsis: "Catala Language Server Protocol (LSP)"
+description: """
+Implementation of a Language Server Protocol (LSP) for Catala.
+"""
+maintainer: "Vincent Botbol"
+authors: [ "Vincent Botbol" ]
+license: "Apache-2.0"
+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"
+depends: [
+  "ocaml"     { >= "4.14.1" }
+  "dune"      { >= "3.0" }
+  "catala"    { = "1.0.0~beta" }
+  "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"
+]
+build: [
+  "dune" "build" "-p" name "-j" jobs "@install"
+    "@runtest" {with-test}
+]
+url {
+  src:
+    "https://github.com/CatalaLang/catala-language-server/archive/refs/tags/1.0.0-beta.tar.gz"
+  checksum: [
+    "md5=d4a651ce7387f3776ff2cceacd44f4b7"
+    "sha512=049f5be0fd1629d692a1066507aa0145b7f2ad7fbc5da3b9130e4ce01ffd51e98e8b6906828c9abe0ba6c865b0bf338261cec6d936e96c39d62b75b3b2b85f7c"
+  ]
+}

packages/catala/catala.1.0.0~beta/opam

@@ -0,0 +1,82 @@
+opam-version: "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: "[email protected]"
+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"}
+  "menhirLib" {>= "20200211"}
+  "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"}
+  "crunch" {>= "3.0.0"}
+  "alcotest" {>= "1.5.0"}
+  "ninja_utils" {= "0.9.0"}
+  "otoml" {>= "1.0"}
+  "odoc" {with-doc}
+  "ocamlformat" {with-dev-setup & = "0.26.0"}
+  "obelisk" {with-dev-setup}
+  "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}
+  "z3" {post & ?cataladevmode & cataladevmode}
+]
+depopts: ["z3"]
+conflicts: [
+  "z3" {< "4.8.11"}
+]
+build: [
+  "dune" "build" "-p" name "-j" jobs "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+]
+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.0.0-beta.tar.gz"
+  checksum: [
+    "md5=c41cbc1fa003e167bbc0bb1cd7723ab3"
+    "sha512=1e07951e2d73040bc0bea89f04bcb50c3a533323a7c7d8bac9ee9aa6be5233f795a32857421d04f17e52a841057cdc78b33f79fa239a17dd12de97a738c81999"
+  ]
+}