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.1"}
17 "dune" {>= "1.4"}
18 "menhir" {= "20211230"}
19 "core" {>= "v0.13.0" & < "v0.15"}
20]
21url {
22 src: "https://github.com/cornell-netlab/p4pp/archive/v0.1.8.tar.gz"
23 checksum: [
24 "md5=3a4793107a6b81906a59ffba7eb534c5"
25 "sha512=9360ec601a55a68fadb0e73647139dec2f4a2339cbeda99c553f2cea5002a9203285129cc4acf5bd42af8b5245ba5899bd80ebd8d760fcb18f4e2b781375b98b"
26 ]
27}