this repo has no description

Merge pull request #18314 from fpottier/opam-publish-menhir-menhirLib-menhirSdk.20210310

3 packages from gitlab.inria.fr/fpottier/menhir/repository/20210310/archive.tar.gz

Kate f95b3ed6 cfaaa846

Changed files
+88 -5
packages
menhir
menhir.20210310
menhirLib
menhirLib.20210310
menhirSdk
menhirSdk.20210310
wikitext
wikitext.1.0.0
wikitext.2.0.0
wikitext.2.0.1
wikitext.2.1.0
wikitext.3.0.0
+27
packages/menhir/menhir.20210310/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: "menhir@inria.fr"
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
]
+
depends: [
+
"ocaml" {>= "4.02.3"}
+
"dune" { >= "2.2.0"}
+
"menhirLib" {= version}
+
"menhirSdk" {= version}
+
]
+
synopsis: "An LR(1) parser generator"
+
url {
+
src:
+
"https://gitlab.inria.fr/fpottier/menhir/repository/20210310/archive.tar.gz"
+
checksum: [
+
"md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a"
+
"sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f"
+
]
+
}
+28
packages/menhirLib/menhirLib.20210310/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: "menhir@inria.fr"
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
]
+
depends: [
+
"ocaml" { >= "4.02.3" }
+
"dune" { >= "2.0.0" }
+
]
+
conflicts: [
+
"menhir" { != version }
+
]
+
synopsis: "Runtime support library for parsers generated by Menhir"
+
url {
+
src:
+
"https://gitlab.inria.fr/fpottier/menhir/repository/20210310/archive.tar.gz"
+
checksum: [
+
"md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a"
+
"sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f"
+
]
+
}
+28
packages/menhirSdk/menhirSdk.20210310/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: "menhir@inria.fr"
+
build: [
+
["dune" "build" "-p" name "-j" jobs]
+
]
+
depends: [
+
"ocaml" { >= "4.02.3" }
+
"dune" { >= "2.0.0" }
+
]
+
conflicts: [
+
"menhir" { != version }
+
]
+
synopsis: "Compile-time library for auxiliary tools related to Menhir"
+
url {
+
src:
+
"https://gitlab.inria.fr/fpottier/menhir/repository/20210310/archive.tar.gz"
+
checksum: [
+
"md5=1cbc71c0bc1f3ddc3e71d5c1f919fd1a"
+
"sha512=3c309fa2cc4ad7c6fba85107bd946a542894882fa39741496b150307e93455b717418f19e94b5dad06ab269f5c55e8dc25705c96c0a5092e623fa38f1ce43c7f"
+
]
+
}
+1 -1
packages/wikitext/wikitext.1.0.0/opam
···
]
depends: [
"dune" { >= "1.5.1" }
-
"menhir"
+
"menhir" {< "20210310"}
"ocaml" { >= "4.5.0" }
"js_of_ocaml" {with-test}
"ounit" {with-test & >= "2.0.0"}
+1 -1
packages/wikitext/wikitext.2.0.0/opam
···
]
depends: [
"dune" { >= "1.5.1" }
-
"menhir"
+
"menhir" {< "20210310"}
"ocaml" { >= "4.5.0" }
"js_of_ocaml" {with-test}
"ounit" {with-test & >= "2.0.0"}
+1 -1
packages/wikitext/wikitext.2.0.1/opam
···
]
depends: [
"dune" { >= "1.5.1" }
-
"menhir"
+
"menhir" {< "20210310"}
"ocaml" { >= "4.5.0" }
"js_of_ocaml" {with-test}
"ounit" {with-test & >= "2.0.0"}
+1 -1
packages/wikitext/wikitext.2.1.0/opam
···
]
depends: [
"dune" { >= "1.5.1" }
-
"menhir"
+
"menhir" {< "20210310"}
"ocaml" { >= "4.5.0" }
"js_of_ocaml" {with-test}
"ounit" {with-test & >= "2.0.0"}
+1 -1
packages/wikitext/wikitext.3.0.0/opam
···
]
depends: [
"dune" { >= "1.5.1" }
-
"menhir"
+
"menhir" {< "20210310"}
"ocaml" { >= "4.05.0" }
"js_of_ocaml" {with-test}
"ounit" {with-test & >= "2.0.0"}