this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes.2007@m4x.org"
3authors: "Simon Cruanes"
4tags: ["TIP" "parse" "inductive" "logic"]
5homepage: "https://github.com/c-cube/tip-parser/"
6bug-reports: "https://github.com/c-cube/tip-parser/issues"
7depends: [
8 "dune" {>= "1.1"}
9 "base-bytes"
10 "result"
11 "menhir" {build & < "20211215"}
12 "odoc" {with-doc}
13]
14build: [
15 ["dune" "build" "-p" name]
16 ["dune" "runtest" "-p" name] {with-test}
17 ["dune" "build" "@doc" "-p" name] {with-doc}
18]
19dev-repo: "git+https://github.com/c-cube/tip-parser.git"
20url {
21 src: "https://github.com/c-cube/tip-parser/archive/0.5.tar.gz"
22 checksum: [
23 "md5=2b274e79df05a71de86a4cd98c928996"
24 "sha512=be061fc1ab6c122a876f014b682b0eb8257eb557e99ba90a2a871daa55aed85246352db1ee52db337d9cbcb9a8ed6d84325ec4166c5d93b9bd8df9ea57617fa4"
25 ]
26}