this repo has no description
1opam-version: "2.0"
2maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
3authors: [ "Enrico Tassi" ]
4license: "LGPL-2.1-or-later"
5homepage: "https://github.com/LPCIC/elpi"
6doc: "https://LPCIC.github.io/elpi/"
7dev-repo: "git+https://github.com/LPCIC/elpi.git"
8bug-reports: "https://github.com/LPCIC/elpi/issues"
9
10depends: [
11 "elpi" {post & >= "1.15.2"}
12 "camlp5" {> "7.99"}
13 "ocaml" {< "4.14.0" }
14]
15flags: conf
16synopsis: "ELPI - option for legacy parser"
17description: """
18Enables the -legacy-parser flag, implemented on top of CamlP5"""