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