this repo has no description

Merge pull request #20126 from fpottier/opam-publish-menhir-menhirLib-menhirSdk.20211128

3 packages from gitlab.inria.fr/fpottier/menhir/-/archive/20211128/archive.tar.gz

Kate 2e77995f 298d4b6b

Changed files
+89
packages
menhir
menhir.20211128
menhirLib
menhirLib.20211128
menhirSdk
menhirSdk.20211128
+29
packages/menhir/menhir.20211128/opam
···
+
+
opam-version: "2.0"
+
maintainer: "francois.pottier@inria.fr"
+
authors: [
+
"François Pottier <francois.pottier@inria.fr>"
+
"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>"
+
]
+
homepage: "http://gitlab.inria.fr/fpottier/menhir"
+
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
+
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"
+
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
]
+
depends: [
+
"ocaml" {>= "4.03.0"}
+
"dune" {>= "2.8.0"}
+
"menhirLib" {= version}
+
"menhirSdk" {= version}
+
]
+
synopsis: "An LR(1) parser generator"
+
url {
+
src:
+
"https://gitlab.inria.fr/fpottier/menhir/-/archive/20211128/archive.tar.gz"
+
checksum: [
+
"md5=015354590ebce7911b073beae57e7731"
+
"sha512=76f998c114a29b390f05e7b62e396d6957e748be3bb7fe918893ab3471a7a907764de4610e392916553113df0c6b09aa570425dcf86c6a3e9e17b0ae36f3fe2b"
+
]
+
}
+30
packages/menhirLib/menhirLib.20211128/opam
···
+
+
opam-version: "2.0"
+
maintainer: "francois.pottier@inria.fr"
+
authors: [
+
"François Pottier <francois.pottier@inria.fr>"
+
"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>"
+
]
+
homepage: "http://gitlab.inria.fr/fpottier/menhir"
+
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
+
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"
+
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
]
+
depends: [
+
"ocaml" { >= "4.03.0" }
+
"dune" { >= "2.8.0" }
+
]
+
conflicts: [
+
"menhir" { != version }
+
]
+
synopsis: "Runtime support library for parsers generated by Menhir"
+
url {
+
src:
+
"https://gitlab.inria.fr/fpottier/menhir/-/archive/20211128/archive.tar.gz"
+
checksum: [
+
"md5=015354590ebce7911b073beae57e7731"
+
"sha512=76f998c114a29b390f05e7b62e396d6957e748be3bb7fe918893ab3471a7a907764de4610e392916553113df0c6b09aa570425dcf86c6a3e9e17b0ae36f3fe2b"
+
]
+
}
+30
packages/menhirSdk/menhirSdk.20211128/opam
···
+
+
opam-version: "2.0"
+
maintainer: "francois.pottier@inria.fr"
+
authors: [
+
"François Pottier <francois.pottier@inria.fr>"
+
"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>"
+
]
+
homepage: "http://gitlab.inria.fr/fpottier/menhir"
+
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
+
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"
+
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
]
+
depends: [
+
"ocaml" { >= "4.03.0" }
+
"dune" { >= "2.8.0" }
+
]
+
conflicts: [
+
"menhir" { != version }
+
]
+
synopsis: "Compile-time library for auxiliary tools related to Menhir"
+
url {
+
src:
+
"https://gitlab.inria.fr/fpottier/menhir/-/archive/20211128/archive.tar.gz"
+
checksum: [
+
"md5=015354590ebce7911b073beae57e7731"
+
"sha512=76f998c114a29b390f05e7b62e396d6957e748be3bb7fe918893ab3471a7a907764de4610e392916553113df0c6b09aa570425dcf86c6a3e9e17b0ae36f3fe2b"
+
]
+
}