this repo has no description
Merge pull request #27582 from esope/release-saltoIL-0.1.11
[new release] saltoIL (0.1.11)
authored by
Shon Feder
and committed by
GitHub
c8b5cd3e
01f795d6
+49
+49
packages/saltoIL/saltoIL.0.1.11/opam
+49
packages/saltoIL/saltoIL.0.1.11/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Salto Intermediate Language"
3
+
description:
4
+
"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."
5
+
maintainer: [
6
+
"Benoît Montagu <benoit.montagu@inria.fr>"
7
+
"Pierre Lermusiaux <pierre.lermusiaux@inria.fr>"
8
+
]
9
+
authors: [
10
+
"Benoît Montagu <benoit.montagu@inria.fr>"
11
+
"Pierre Lermusiaux <pierre.lermusiaux@inria.fr>"
12
+
]
13
+
license: "LGPL-2.1-only"
14
+
homepage: "https://gitlab.inria.fr/salto/salto-il"
15
+
bug-reports: "https://gitlab.inria.fr/salto/salto-il/-/issues"
16
+
depends: [
17
+
"dune" {>= "3.17"}
18
+
"ocaml" {>= "4.14.0" & < "4.15.0"}
19
+
"ocaml-compiler-libs" {= "v0.12.4"}
20
+
"base" {>= "v0.16" & < "v0.17"}
21
+
"ptmap" {>= "2.0.5"}
22
+
"ppx_deriving" {build & >= "5.2.1"}
23
+
"seq" {= "base"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"@install"
36
+
"@runtest" {with-test}
37
+
"@doc" {with-doc}
38
+
]
39
+
]
40
+
dev-repo: "git+https://gitlab.inria.fr/salto/salto-il"
41
+
url {
42
+
src:
43
+
"https://salto.gitlabpages.inria.fr/salto-IL/releases/saltoIL-0.1.11.tbz"
44
+
checksum: [
45
+
"sha256=431a9607c7368ef48651468815c2f098dd33c73aa725ece111b9966adb50d6db"
46
+
"sha512=dfdbcbe89bcdf2ecdc95f52d1c18c8c6b39786867eafccc23ebb393c36d8e6445a40fd78d19d386614b63e093f11604fe9581d72f2adab6572bcea9320f8edab"
47
+
]
48
+
}
49
+
x-commit-hash: "d334d63b42c043998cb800fa3952771262a33952"