menhirversion
LR(1) parser generator
| Authors | François Pottier <[email protected]> and Yann Régis-Gianas <[email protected]> |
|---|---|
| Published | |
| Homepage | http://gallium.inria.fr/~fpottier/menhir/ |
| Issue Tracker | [email protected] |
| Maintainer | [email protected] |
| Dependencies |
|
| Source [http] | http://gallium.inria.fr/~fpottier/menhir/menhir-20161115.tar.gz sha256=f31037f904c863b241bd90dd4ba6cd8f5ea86255477c13a2f7d0e02724ab16c9 md5=c1aafe196ac7695000ff7370184eda20 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhir/menhir.20161115/opam |
Required by
- albabuild & <0.4.3
- alt-ergo>=2.0.0 & <2.3.0 | >=2.4.0
- alt-ergo-free
- alt-ergo-parsers
- archetype<1.0.0 | >=1.2.1 & <1.2.5
- aslibuild
- atd<2.3.3
- bdd>=0.5
- caper
- cca<0.4
- coccinelle<1.1.0
- codeptbuild & <0.11.0
- coin<0.1.4
- dedukti<2.7
- diffast-core
- diffast-langs-cpp-parsing
- diffast-langs-fortran-parsing
- diffast-langs-java-parsing
- diffast-langs-python-parsing
- diffast-langs-verilog-parsing
- dolmen<0.4
- drom_toml
- dunewith-dev-setup & >=3.17.2
- ednbuild & <0.2.0
- electrod
- electrumAnalyzerbuild
- embedded_ocaml_templates<0.3.1
- erlang
- forester!=2.1 & <3.0.0
- frama-c-luncovbuild & >=0.2.1
- FrontC=4.0.0
- fstarbuild & <2025.02.17
- gadelac
- gdbprofilerbuild & <0.4
- gobba>=0.4.2
- gufobuild
- heptagonbuild
- infernowith-test & >=20220603
- jasminbuild
- js_of_ocaml-compiler>=3.7.1
- karamel
- kdl
- kind2<1.6.0
- kremlin<transition
- labrys
- libzipperpositionbuild
- links<0.9.4
- logtkbuild
- lp<0.4.0
- lspwith-test & <1.15.1-5.0
- mazeppa<0.4.1
- mc2
- merlindev & <4.14-500
- minicaml<0.3.3
- morbig<0.10.3
- msatwith-test & =0.8
- nice_parserwith-test
- obelisk<0.7.0
- odatebuild & <0.7
- oddsbuild
- ollvmbuild
- ollvm-tapirbuild
- ometrics<0.2.0
- otoml
- ottwith-test & >=0.32
- p4pp<0.1.8
- petr4
- phylogenetics
- psmt2-frontend<0.3.0
- rdf<0.12.0
- rfsm
- runtime_events_toolswith-test & >=0.5.0
- sailbuild & <0.15
- sgf
- shapefilebuild
- smtlib-utilsbuild & <0.4
- solidity-parser
- sqlgg<20231201
- stog-writing
- tip-parserbuild
- toml<7.1.0
- touist
- tptp
- uuuu<0.3.0
- wasm_of_ocaml-compiler
- wcs-lib>=2017-05-26.02
- why3<1.4.0
- wikitext
- zanudawith-test
- zipperpositionbuild
