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/ |
| Maintainer | https://github.com/ocaml/opam-repository/issues |
| Dependencies | |
| Source [http] | http://cristal.inria.fr/~fpottier/menhir/menhir-20130116.tar.gz sha256=5769f628dddcb45d123fc1cdb16ff2313f5d76cbb69363419c9dcf78f526f5a9 md5=47b3666ecf799168c1250169b2c7f052 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhir/menhir.20130116/opam |
Required by
- acgtk>=1.5.0 & <1.5.3
- albabuild & <0.4.3
- alt-ergo>=2.0.0 & <2.3.0 | >=2.4.0
- alt-ergo-free<2.3.3
- alt-ergo-parsers
- alt-ergo-parsers-free
- anders<0.7.1
- archetype<1.0.0 | >=1.2.1 & <1.2.5
- aslibuild
- atd<2.3.3
- bamboobuild
- binsec<0.4.0
- caper
- caradoc
- cca<0.4
- ccss
- cfg<2.1.0
- charrua-corebuild
- charrua-serverbuild & <1.4.0
- coccinelle<1.0.0-rc23 | >=1.0.7 & <1.1.0
- codeptbuild & =0.10.3
- coin<0.1.4
- combine>=0.42
- dedukti<2.7
- doc-ock-xml
- DrawGrammar
- drom_toml
- dunewith-dev-setup & >=3.17.0
- ednbuild & <0.2.0
- electrod
- embedded_ocaml_templates<0.3.1
- encoding<0.0.2
- erlang
- forester!=2.1 & <3.0.0
- frama-c-luncovbuild & >=0.2.1
- freneticbuild & >=5.0.0 & <5.0.5
- FrontC=4.0.0
- gadelac
- gdb
- gdbprofilerbuild & <0.4
- genet
- gobba>=0.4.2
- gufobuild
- heptagon<1.01.00
- imaplet-lwt
- infernowith-test & >=20220603
- js_of_ocaml>=1.4.0 & <3.0
- js_of_ocaml-compiler>=3.7.0
- kdl
- kind2<1.6.0
- labrys
- lambdapi<2.0.0
- lambdoc
- libzipperpositionbuild
- lilis
- links>=0.9 & <0.9.4
- logtkbuild & >=1.5.1
- lp<0.4.0
- lspwith-test & <1.8.0
- mazeppa<0.4.1
- mc2
- merlindev & (<2.0.0 | >=3.5.0 & <4.6-414 | >=4.7-412 & <4.7-414)
- merlin-libdev & <4.8~5.1preview
- mezzo
- minicaml<0.3.3
- modelica_ml
- msatwith-test & =0.8
- mustache>=3.0.0 & <3.1.0
- nice_parserwith-test
- nunchakubuild
- obelisk<0.7.0
- obrowser
- ocaml-lsp-server<1.2.0
- ocaml-r<0.1.0
- odatebuild & <0.7
- oddsbuild
- ollvmbuild
- ollvm-tapirbuild
- ometrics<0.2.0
- otoml
- p4pp<0.1.8
- petr4
- phylogenetics
- profound
- psmt2-frontend<0.3.0
- rdf>=0.5 & <0.10.0
- rfsm
- runtime_events_toolswith-test & >=0.5.0
- sailbuild & <0.15
- sgf
- shapefilebuild
- sibylfs
- smbc<0.4.2
- smtlib-utilsbuild & <0.4
- sociaml-vcard
- solidity-parser
- spdiff
- sqlgg<20231201
- stog-writing
- tip-parserbuild
- toml<7.1.0
- tptp>=0.3.1
- uuuu<0.3.0
- wcs-lib>=2017-05-26.02
- why3-base>=0.86
- wikitext
- zanudawith-test
- zephyrus
- zipperpositionbuild & >=1.1
Optionally used by
- logtkbuild & <1.5.1
- zipperpositionbuild & <1.1
