ocaml-coq-menhirlib (ocaml/ocaml-menhir) Add to my watchlist
Menhir is a LR(1) parser generator for the Objective Caml programming language.Version: 20210310 License: (QPL or LGPL)

Maintainers | No Maintainer |
Categories | devel ocaml |
Homepage | http://cristal.inria.fr/~fpottier/menhir |
Platforms | darwin |
Variants | - |
Subport(s) (3)
"ocaml-coq-menhirlib" depends on
lib (2)
build (2)
Ports that depend on "ocaml-coq-menhirlib"
run (1)Port Health:
Loading Port Health
Installations (30 days)
5
Requested Installations (30 days)
1
Livecheck error
Error: cannot check if ocaml-coq-menhirlib was updated (The requested URL returned error: 404 )
last updated: 22 hours ago