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 |
|
Conflicts | |
Source [http] | http://gallium.inria.fr/~fpottier/menhir/menhir-20151112.tar.gz md5=51cfe8573ed11949dc0fa2c46dae47e2 |
Statistics | Installed 15 times last month. |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhir/menhir.20151112/opam |
Required by
- acgtk>=1.5.0
- albabuild & <0.4.3
- alt-ergo>=2.0.0 & <2.3.0
- alt-ergo-free
- alt-ergo-parsers
- archetype
- aslibuild
- atd
- bamboobuild & <0.0.02
- batsh<0.0.5
- binsec
- bnfgenbuild
- caradoc
- ccss
- cfg<2.1.0
- charrua-corebuild
- charrua-serverbuild
- coccinelle>=1.0.8
- codeptbuild & >=0.10.3
- coin
- combine>=0.42
- dedukti
- doc-ock-xml
- dolmen!=0.4
- DrawGrammar
- ednbuild
- electrod
- electrumAnalyzerbuild
- embedded_ocaml_templates
- erlang
- freneticbuild & >=5.0.0
- gadelac
- gdb
- gdbprofilerbuild
- genet!=0.2
- gobba
- graphql_parserbuild & >=0.9.0
- gufobuild
- heptagonbuild & >=1.01.00
- imaplet-lwt
- jingoo>=1.3.1
- js_of_ocaml>=1.4.0 & <3.0
- js_of_ocaml-compiler>=3.7.0
- kind2
- labrys
- lambdapi
- lambdoc
- libzipperpositionbuild
- lilis
- links>=0.9
- liquidsoap>=1.4.0
- logtkbuild & >=1.5.1
- lp
- lspwith-test
- mc2
- merlin<2.0.0
- mezzo
- minicaml
- modelica_ml
- morbig<0.10.3
- msatwith-test & =0.8
- mustache>=3.0.0
- nice_parserwith-test
- nunchakubuild
- obelisk
- obrowser
- obusbuild & >=1.2.0
- ocaml-lsp-server<1.2.0
- ocaml-r<0.1.0
- ocamlformat>=0.14.0
- odatebuild
- oddsbuild
- ollvmbuild
- ollvm-tapirbuild
- p4pp
- petr4
- pfff>=0.40.4
- profound
- psmt2-frontend
- rdf>=0.6.0
- rfsm
- sailbuild
- satyrographos>=0.0.2.8
- sgf
- shapefilebuild
- sibylfs
- smbc<0.4.2
- smtlib-utilsbuild
- 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
- wikitext
- zelus
- zephyrus
- zipperpositionbuild & >=1.1
Optionally used by
- logtkbuild & <1.5.1
- zipperpositionbuild & <1.1