menhirversion
LR(1) parser generator
| Authors | François Pottier <francois.pottier@inria.fr> and Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr> |
|---|---|
| Published | |
| Homepage | http://gallium.inria.fr/~fpottier/menhir/ |
| Issue Tracker | menhir-list@yquem.inria.fr |
| Maintainer | francois.pottier@inria.fr |
| Dependencies |
|
| Source [http] | http://gallium.inria.fr/~fpottier/menhir/menhir-20151112.tar.gz md5=51cfe8573ed11949dc0fa2c46dae47e2 |
| Statistics | Installed 8 times last month. |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhir/menhir.20151112/opam |
Required by
- acgtk>=1.5.0
- albabuild
- alt-ergo>=2.0.0
- atdbuild
- bamboobuild & <0.0.02
- batsh<0.0.5
- caradoc
- ccss
- cfg<2.1.0
- cfgenbuild
- charrua-corebuild
- coin
- combine>=0.42
- dedukti
- doc-ock-xml
- dolmen
- DrawGrammar
- ednbuild
- electrod
- electrumAnalyzerbuild
- freneticbuild & >=5.0.0
- gadelac
- gdb
- gdbprofilerbuild
- genet!=0.2
- heptagonbuild & >=1.01.00
- imaplet-lwt
- js_of_ocaml>=1.4.0 & <3.0
- labrys
- lambdapi
- lambdoc
- lilis
- merlin<2.0.0
- mezzo
- modelica_ml
- morbig
- mustache>=3.0.0
- nunchakubuild
- obeliskbuild
- obrowser
- ocaml-r<0.1.0
- odate
- oddsbuild
- ollvmbuild
- ollvm-tapirbuild
- profound
- psmt2-frontend
- rdf>=0.6.0
- rfsm
- sgf
- sibylfs
- smbc<0.4.2
- sociaml-vcard
- sqlgg
- stog-writing
- tip-parserbuild
- tomlbuild
- touist
- tptp>=0.3.1
- uuuu
- wcs-lib>=2017-05-26.02
- why3>=1.0.0
- why3-base>=0.86.3
- zephyrus
- zipperpositionbuild & >=1.1
Optionally used by
- logtkbuild
- zipperpositionbuild & <1.1
