Merge pull request #28834 from esope/release-saltoIL-0.2.0

[new release] saltoIL (0.2.0)

Author: shonfeder

packages/saltoIL/saltoIL.0.2.0/opam

@@ -0,0 +1,50 @@
+opam-version: "2.0"
+synopsis: "Salto Intermediate Language"
+description:
+  "The Salto Intermediate Language is a simplified version of the OCaml TypedTree. This library provides function to transform the OCaml TypedTree into the Salto IL, and to transform the Salto IL into the OCaml ParseTree."
+maintainer: [
+  "Benoît Montagu <benoit.montagu@inria.fr>"
+  "Pierre Lermusiaux <pierre.lermusiaux@inria.fr>"
+]
+authors: [
+  "Benoît Montagu <benoit.montagu@inria.fr>"
+  "Pierre Lermusiaux <pierre.lermusiaux@inria.fr>"
+]
+license: "LGPL-2.1-only"
+homepage: "https://gitlab.inria.fr/salto/salto-il"
+bug-reports: "https://gitlab.inria.fr/salto/salto-il/-/issues"
+depends: [
+  "dune" {>= "3.17"}
+  "ocaml" {>= "4.14.0" & < "4.15.0"}
+  "ocaml-compiler-libs" {= "v0.12.4"}
+  "base" {>= "v0.16" & < "v0.17"}
+  "ptmap" {>= "2.0.5"}
+  "ppx_deriving" {build & >= "5.2.1"}
+  "seq" {= "base"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://gitlab.inria.fr/salto/salto-il"
+x-maintenance-intent: ["(latest)"]
+url {
+  src:
+    "https://salto.gitlabpages.inria.fr/salto-IL/releases/saltoIL-0.2.0.tbz"
+  checksum: [
+    "sha256=ef8ac4d868c392a647acef1f48b2d36c8d427fd23202373c1be0066a055799d7"
+    "sha512=bde40edc3c3f496da7605d365dd318cdfc18fbb6bbc2d5535afe553c752c546b0427ba8ed5769b0f75b3ce06b759ba83e82be88a9b1830bcec2af6251cd2dd9f"
+  ]
+}
+x-commit-hash: "69f84d20a8171eb9bf63e203e0d042a875b62d98"