tip-parserversion
| Tags | TIP parse inductive logic |
|---|---|
| Author | Simon Cruanes |
| Published | |
| Homepage | https://github.com/c-cube/tip-parser/ |
| Issue Tracker | https://github.com/c-cube/tip-parser/issues |
| Maintainer | simon.cruanes.2007@m4x.org |
| Dependencies |
|
| Source [http] | https://github.com/c-cube/tip-parser/archive/0.5.tar.gz md5=2b274e79df05a71de86a4cd98c928996 sha512=be061fc1ab6c122a876f014b682b0eb8257eb557e99ba90a2a871daa55aed85246352db1ee52db337d9cbcb9a8ed6d84325ec4166c5d93b9bd8df9ea57617fa4 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/tip-parser/tip-parser.0.5/opam |
Required by
- smbc=0.5
