this repo has no description
1opam-version: "2.0"
2synopsis: "P4PP: Preprocessor for P4 Language"
3maintainer: "jnfoster@cs.cornell.edu"
4authors: ["Nate Foster <jnfoster@cs.cornell.edu>"]
5homepage: "https://github.com/cornell-netlab/p4pp"
6dev-repo: "git+https://github.com/cornell-netlab/p4pp/"
7bug-reports: "https://github.com/cornell-netlab/p4pp/issues"
8license: "Apache-2.0"
9build: [
10 ["dune" "subst"] {dev}
11 ["dune" "build" "-p" name "-j" jobs]
12 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
13 ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
14]
15depends: [
16 "ocaml" {>= "4.09.0"}
17 "dune" {>= "1.2"}
18 "menhir" {< "20211223"}
19 "core" {>= "v0.13.0" & < "v0.15"}
20]
21url {
22 src: "https://github.com/cornell-netlab/p4pp/archive/v0.1.7.tar.gz"
23 checksum: [
24 "md5=89fce57df8ce584a83e83020a818ed08"
25 "sha512=7bc4c01fca6cf8bda493abb5c23cbc2319083bde8d2aaf6ae202db80cb4091155dff6c1e93f9d2d37f268dbd60303309efece857de355e8be2bd3aed3b4716bf"
26 ]
27}