tip-parserversion

Tags TIP parse inductive logic
AuthorSimon Cruanes
Published
Homepagehttps://github.com/c-cube/tip-parser/
Issue Trackerhttps://github.com/c-cube/tip-parser/issues
Maintainersimon.cruanes.2007@m4x.org
Dependencies
Source [http] https://github.com/c-cube/tip-parser/archive/0.5.tar.gz
md5=2b274e79df05a71de86a4cd98c928996
sha512=be061fc1ab6c122a876f014b682b0eb8257eb557e99ba90a2a871daa55aed85246352db1ee52db337d9cbcb9a8ed6d84325ec4166c5d93b9bd8df9ea57617fa4
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/tip-parser/tip-parser.0.5/opam
No package is dependent