Merge pull request #27582 from esope/release-saltoIL-0.1.11

[new release] saltoIL (0.1.11)

Author: shonfeder

packages/saltoIL/saltoIL.0.1.11/opam

@@ -0,0 +1,49 @@
+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 <[email protected]>"
+  "Pierre Lermusiaux <[email protected]>"
+]
+authors: [
+  "Benoît Montagu <[email protected]>"
+  "Pierre Lermusiaux <[email protected]>"
+]
+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"
+url {
+  src:
+    "https://salto.gitlabpages.inria.fr/salto-IL/releases/saltoIL-0.1.11.tbz"
+  checksum: [
+    "sha256=431a9607c7368ef48651468815c2f098dd33c73aa725ece111b9966adb50d6db"
+    "sha512=dfdbcbe89bcdf2ecdc95f52d1c18c8c6b39786867eafccc23ebb393c36d8e6445a40fd78d19d386614b63e093f11604fe9581d72f2adab6572bcea9320f8edab"
+  ]
+}
+x-commit-hash: "d334d63b42c043998cb800fa3952771262a33952"