/
opam
28 lines (28 loc) · 849 Bytes
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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/20201216/archive.tar.gz"
checksum: [
"md5=f27f8f5dedd316eff4c02d9130fced49"
"sha512=50f86fb2f55184f43c4be9c572ada4feb2208eb350ef64b2651351934a1b48a0b7e98c8c752c3c22e95676c5a0f38b0e638b3f845e53ecff1740dad95b50918c"
]
}