this repo has no description
4 packages from gitlab.inria.fr/fpottier/menhir/-/archive/20240715/archive.tar.gz
+119
+30
packages/menhir/menhir.20240715/opam
+30
packages/menhir/menhir.20240715/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
+
"menhirCST" {= version}
21
+
]
22
+
synopsis: "An LR(1) parser generator"
23
+
url {
24
+
src:
25
+
"https://gitlab.inria.fr/fpottier/menhir/-/archive/20240715/archive.tar.gz"
26
+
checksum: [
27
+
"md5=d39a8943fe1be28199e5ec1f4133504c"
28
+
"sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd"
29
+
]
30
+
}
+29
packages/menhirCST/menhirCST.20240715/opam
+29
packages/menhirCST/menhirCST.20240715/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/20240715/archive.tar.gz"
25
+
checksum: [
26
+
"md5=d39a8943fe1be28199e5ec1f4133504c"
27
+
"sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd"
28
+
]
29
+
}
+30
packages/menhirLib/menhirLib.20240715/opam
+30
packages/menhirLib/menhirLib.20240715/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/20240715/archive.tar.gz"
26
+
checksum: [
27
+
"md5=d39a8943fe1be28199e5ec1f4133504c"
28
+
"sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd"
29
+
]
30
+
}
+30
packages/menhirSdk/menhirSdk.20240715/opam
+30
packages/menhirSdk/menhirSdk.20240715/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/20240715/archive.tar.gz"
26
+
checksum: [
27
+
"md5=d39a8943fe1be28199e5ec1f4133504c"
28
+
"sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd"
29
+
]
30
+
}