coq-menhirlib.opam 620 Bytes
Newer Older
1
name: "coq-menhirlib"
2
opam-version: "2.0"
3
synopsis: "A support library for verified Coq parsers produced by Menhir"
4 5 6 7 8
maintainer: "francois.pottier@inria.fr"
authors: [
  "Jacques-Henri Jourdan <jacques-henri.jourdan@lri.fr>"
]
homepage: "https://gitlab.inria.fr/fpottier/coq-menhirlib"
9
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"
10 11
bug-reports: "jacques-henri.jourdan@lri.fr"
build: [
12
  [make "-C" "coq-menhirlib" "-j%{jobs}%"]
13 14
]
install: [
15
  [make "-C" "coq-menhirlib" "install"]
16 17
]
depends: [
18
  "coq" { >= "8.7" }
19 20 21 22 23 24 25
]
conflicts: [
  "menhir" { != "DATE" }
]
tags: [
  "date:DATEDASH"
  "logpath:MenhirLib"
26
]