package netkat
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A clean slate implementation of NetKAT
Install
dune-project
Dependency
Authors
Maintainers
Sources
netkat-0.1.tbz
sha256=0f8f1be04daadd1bbff4eeebf709247b17024678943b1ede9ef44c6e76591882
sha512=cf005751fd86a9d8fa9aeb54277723edc443adae881881ce51f0735af4d288050f82f00e995f49f2ca1e6a76fae881f339f5124f2da5bd975e57359f32262b4d
Description
A clean slate implementation of NetKAT
Published: 18 Feb 2020
Dependencies (15)
-
mparser
>= "1.2.3" & < "1.3" -
tyxml
>= "4.3.0" -
printbox
>= "0.2" -
ppx_jane
>= "v0.12.0" & < "v0.14" -
ppx_deriving
>= "4.3" -
idds
!= "0" -
nice_parser
!= "0" -
open
>= "0" -
stdio
>= "v0.12.0" & < "v0.14" -
core
>= "v0.12.0" & < "v0.14" -
base
>= "v0.12.0" & < "v0.14" -
menhir
build & >= "20190626" -
dune
>= "1.10" -
ocaml
>= "4.07.0" -
async
>= "v0.12.0" & < "v0.14"
Dev Dependencies (2)
-
ppx_inline_test
with-test & >= "v0.12.0" & < "v0.14" -
odoc
with-doc
Used by
None
Conflicts
None
On This Page