petr4version
Petr4: Formal Semantics for the P4 Programming Language
| Author | Nate Foster <jnfoster@cs.cornell.edu> |
|---|---|
| License | Apache-2.0 |
| Published | |
| Homepage | https://github.com/cornell-netlab/petr4 |
| Issue Tracker | https://github.com/cornell-netlab/petr4/issues |
| Maintainer | jnfoster@cs.cornell.edu |
| Dependencies |
|
| Source [http] | https://github.com/cornell-netlab/petr4/archive/0.1.1.tar.gz md5=1c4332e8493311069a9dff8b11a5c7b2 sha512=d5329c1bf84c2ee608a92fb9d950dbb89dbd724b4387831a3b39296ac46870cbc42f747248144c8d93f2a855339bbc2876c11952d74200c404880c1656ca8bd8 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/petr4/petr4.0.1.1/opam |
No package is dependent
