this repo has no description
anil.recoil.org
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" {< "20211215"}
19 "core" {>= "v0.13.0" & < "v0.15"}
20]
21url {
22 src: "https://github.com/cornell-netlab/p4pp/archive/0.1.4.tar.gz"
23 checksum: [
24 "md5=3a04f9541b31fc18af6de7a4eb0ab9b4"
25 "sha512=21e58c16d69f5c0c5e72de57a33c2194dc216a3bfde8750b2dfcc8765c1362432058d7cb24d0480bc5b302eb14c47215ceef2be79f40b3ae4d4224dbc38e6cfa"
26 ]
27}