this repo has no description
Merge pull request #25005 from fpottier/opam-publish-menhir.20231231
4 packages from gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz
authored by
Marcello Seri
and committed by
GitHub
1f081492
3da29959
+118
+29
packages/menhir/menhir.20231231/opam
+29
packages/menhir/menhir.20231231/opam
···
1
+
2
+
opam-version: "2.0"
3
+
maintainer: "francois.pottier@inria.fr"
4
+
authors: [
5
+
"François Pottier <francois.pottier@inria.fr>"
6
+
"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>"
7
+
]
8
+
homepage: "http://gitlab.inria.fr/fpottier/menhir"
9
+
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
10
+
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"
11
+
license: "GPL-2.0-only"
12
+
build: [
13
+
["dune" "build" "-p" name "-j" jobs]
14
+
]
15
+
depends: [
16
+
"ocaml" {>= "4.03.0"}
17
+
"dune" {>= "2.8.0"}
18
+
"menhirLib" {= version}
19
+
"menhirSdk" {= version}
20
+
]
21
+
synopsis: "An LR(1) parser generator"
22
+
url {
23
+
src:
24
+
"https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz"
25
+
checksum: [
26
+
"md5=799748bc3b7a542798a85956c7863865"
27
+
"sha512=620ff3443143535e03ac98c5e8ee2ddf9ba48f8cfe441302118def1da3e03ffac7f48d4d4cb129766b625ecad0fb341da1baa0169dee8b6d07a5b0bbb735cf2f"
28
+
]
29
+
}
+29
packages/menhirCST/menhirCST.20231231/opam
+29
packages/menhirCST/menhirCST.20231231/opam
···
1
+
2
+
opam-version: "2.0"
3
+
maintainer: "francois.pottier@inria.fr"
4
+
authors: [
5
+
"François Pottier <francois.pottier@inria.fr>"
6
+
]
7
+
homepage: "http://gitlab.inria.fr/fpottier/menhir"
8
+
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
9
+
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"
10
+
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"
11
+
build: [
12
+
["dune" "build" "-p" name "-j" jobs]
13
+
]
14
+
depends: [
15
+
"ocaml" { >= "4.08" }
16
+
"dune" { >= "2.8.0" }
17
+
]
18
+
conflicts: [
19
+
"menhir" { != version }
20
+
]
21
+
synopsis: "Runtime support library for parsers generated by Menhir"
22
+
url {
23
+
src:
24
+
"https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz"
25
+
checksum: [
26
+
"md5=799748bc3b7a542798a85956c7863865"
27
+
"sha512=620ff3443143535e03ac98c5e8ee2ddf9ba48f8cfe441302118def1da3e03ffac7f48d4d4cb129766b625ecad0fb341da1baa0169dee8b6d07a5b0bbb735cf2f"
28
+
]
29
+
}
+30
packages/menhirLib/menhirLib.20231231/opam
+30
packages/menhirLib/menhirLib.20231231/opam
···
1
+
2
+
opam-version: "2.0"
3
+
maintainer: "francois.pottier@inria.fr"
4
+
authors: [
5
+
"François Pottier <francois.pottier@inria.fr>"
6
+
"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>"
7
+
]
8
+
homepage: "http://gitlab.inria.fr/fpottier/menhir"
9
+
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
10
+
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"
11
+
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"
12
+
build: [
13
+
["dune" "build" "-p" name "-j" jobs]
14
+
]
15
+
depends: [
16
+
"ocaml" { >= "4.03.0" }
17
+
"dune" { >= "2.8.0" }
18
+
]
19
+
conflicts: [
20
+
"menhir" { != version }
21
+
]
22
+
synopsis: "Runtime support library for parsers generated by Menhir"
23
+
url {
24
+
src:
25
+
"https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz"
26
+
checksum: [
27
+
"md5=799748bc3b7a542798a85956c7863865"
28
+
"sha512=620ff3443143535e03ac98c5e8ee2ddf9ba48f8cfe441302118def1da3e03ffac7f48d4d4cb129766b625ecad0fb341da1baa0169dee8b6d07a5b0bbb735cf2f"
29
+
]
30
+
}
+30
packages/menhirSdk/menhirSdk.20231231/opam
+30
packages/menhirSdk/menhirSdk.20231231/opam
···
1
+
2
+
opam-version: "2.0"
3
+
maintainer: "francois.pottier@inria.fr"
4
+
authors: [
5
+
"François Pottier <francois.pottier@inria.fr>"
6
+
"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>"
7
+
]
8
+
homepage: "http://gitlab.inria.fr/fpottier/menhir"
9
+
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
10
+
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"
11
+
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"
12
+
build: [
13
+
["dune" "build" "-p" name "-j" jobs]
14
+
]
15
+
depends: [
16
+
"ocaml" { >= "4.03.0" }
17
+
"dune" { >= "2.8.0" }
18
+
]
19
+
conflicts: [
20
+
"menhir" { != version }
21
+
]
22
+
synopsis: "Compile-time library for auxiliary tools related to Menhir"
23
+
url {
24
+
src:
25
+
"https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz"
26
+
checksum: [
27
+
"md5=799748bc3b7a542798a85956c7863865"
28
+
"sha512=620ff3443143535e03ac98c5e8ee2ddf9ba48f8cfe441302118def1da3e03ffac7f48d4d4cb129766b625ecad0fb341da1baa0169dee8b6d07a5b0bbb735cf2f"
29
+
]
30
+
}