diff --git a/packages/saltoIL/saltoIL.0.2.0/opam b/packages/saltoIL/saltoIL.0.2.0/opam new file mode 100644 index 000000000000..e7fe55ced450 --- /dev/null +++ b/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 " + "Pierre Lermusiaux " +] +authors: [ + "Benoît Montagu " + "Pierre Lermusiaux " +] +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"