petr4version

Petr4: Formal Semantics for the P4 Programming Language

AuthorNate Foster <jnfoster@cs.cornell.edu>
LicenseApache2
Published
Homepagehttps://github.com/cornell-netlab/petr4
Issue Trackerhttps://github.com/cornell-netlab/petr4/issues
Maintainerjnfoster@cs.cornell.edu
Dependencies
Source [http] https://github.com/cornell-netlab/petr4/archive/0.1.1.tar.gz
md5=1c4332e8493311069a9dff8b11a5c7b2
sha512=d5329c1bf84c2ee608a92fb9d950dbb89dbd724b4387831a3b39296ac46870cbc42f747248144c8d93f2a855339bbc2876c11952d74200c404880c1656ca8bd8
StatisticsInstalled 5 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/petr4/petr4.0.1.1/opam
No package is dependent