menhir

LR(1) parser generator for the OCaml programming language
http://cristal.inria.fr/~fpottier/menhir

Current version
20170712

menhir requires the following formulae to be installed:
ocamlbuild 0.11.0_2 Generic build tool for OCaml
ocaml 4.05.0 General purpose programming language in the ML family

Reverse dependencies

The following formulae require menhir to be installed:
ssreflect 1.5_3 Virtual package provided by libssreflect-coq
compcert 3.1 Formally verified C compiler

Formula history

ilovezfs menhir 20170712
ilovezfs menhir: revision for ocaml
ilovezfs menhir: revision for ocaml
ilovezfs menhir 20170607
ilovezfs menhir 20170509
ilovezfs menhir 20170418
ilovezfs menhir 20170101
ilovezfs menhir 20161115
ilovezfs menhir: revision for ocaml
ilovezfs menhir 20160526
Show all revisions of this formula