this repo has no description
anil.recoil.org
1opam-version: "2.0"
2build: [
3 ["dune" "subst"] {dev}
4 ["dune" "build" "-p" name "-j" jobs]
5 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
6 ["dune" "build" "-p" name "@doc"] {with-doc}
7]
8maintainer: ["Steffen Smolka <smolka@cs.cornell.edu>"]
9authors: [
10 "Caleb Koch <cak247@cornell.edu>"
11 "Steffen Smolka <smolka@cs.cornell.edu>"
12 "Nate Foster <jnfoster@cs.cornell.edu>"
13]
14bug-reports: "https://github.com/netkat-lang/netkat/issues"
15homepage: "https://github.com/netkat-lang/netkat"
16doc: "https://netkat-lang.github.io/netkat/"
17license: "MIT"
18dev-repo: "git+https://github.com/netkat-lang/netkat.git"
19synopsis: "A clean slate implementation of NetKAT"
20description: "A clean slate implementation of NetKAT"
21depends: [
22 "async" {>= "v0.12.0" & < "v0.14"}
23 "ocaml" {>= "4.07.0"}
24 "dune" {>= "1.10"}
25 "menhir" {build & >= "20190626"}
26 "base" {>= "v0.12.0" & < "v0.14"}
27 "core" {>= "v0.12.0" & < "v0.14"}
28 "stdio" {>= "v0.12.0" & < "v0.14"}
29 "odoc" {with-doc}
30 "open" {>= "0"}
31 "nice_parser" {!= "0"}
32 "idds" {!= "0"}
33 "ppx_deriving" {>= "4.3"}
34 "ppx_inline_test" {with-test & >= "v0.12.0" & < "v0.14"}
35 "ppx_jane" {>= "v0.12.0" & < "v0.14"}
36 "printbox" {>= "0.2"}
37 "tyxml" {>= "4.3.0"}
38 "mparser" {>= "1.2.3" & < "1.3"}
39]
40url {
41 src:
42 "https://github.com/netkat-lang/netkat/releases/download/0.1/netkat-0.1.tbz"
43 checksum: [
44 "sha256=0f8f1be04daadd1bbff4eeebf709247b17024678943b1ede9ef44c6e76591882"
45 "sha512=cf005751fd86a9d8fa9aeb54277723edc443adae881881ce51f0735af4d288050f82f00e995f49f2ca1e6a76fae881f339f5124f2da5bd975e57359f32262b4d"
46 ]
47}