ocaml-coq-menhirlib (ocaml/ocaml-menhir) Updated: 1 month, 1 week ago Add to my watchlist
Menhir is a LR(1) parser generator for the Objective Caml programming language.Version: 20230608 License: (GPL-2 or LGPL)
GitHub
| Maintainers | barracuda156 |
| Categories | devel ocaml |
| Homepage | https://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)
4
Requested Installations (30 days)
0
Livecheck error
Error: cannot check if ocaml-coq-menhirlib was updated (regex didn't match)
last updated: 20 hours ago