menhirversion
An LR(1) parser generator
| Authors | François Pottier <[email protected]> and Yann Régis-Gianas <[email protected]> |
|---|---|
| Published | |
| Homepage | http://gitlab.inria.fr/fpottier/menhir |
| Issue Tracker | [email protected] |
| Maintainer | [email protected] |
| Dependencies | |
| Source [http] | https://gitlab.inria.fr/fpottier/menhir/-/archive/20200619/archive.tar.gz md5=6e35cccd708480b5662b5d1903adf069 sha512=fdc7621ee0e3d60aaececdcf99b54fae979b558c89a3194fb47a4cf624fefb4a50c027f30125286ab02a5b036a91385bc6dc6fa68b04ddd37259d42fa2a65ea1 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhir/menhir.20200619/opam |
Required by
- absolute>=0.2
- acgtk<2.1.0
- aifad>=2.3.0
- albabuild & <0.4.3
- alt-ergo>=2.0.0 & <2.3.0 | >=2.4.0
- alt-ergo-free
- alt-ergo-parsers
- anders
- archetype
- arrakis
- aslibuild
- atd
- bdd>=0.5
- binsecbuild
- caper
- catala
- cca<0.6.2
- cfg>=2.3.0
- charrua-serverbuild
- coccinelle>=1.0.9
- codept<0.12.1
- codept-lib
- coin<0.1.4
- cosovo
- css-parser
- dedukti
- diffast-core
- diffast-langs-cpp-parsing
- diffast-langs-fortran-parsing
- diffast-langs-java-parsing
- diffast-langs-python-parsing
- diffast-langs-verilog-parsing
- dkml-dune-dsl-show
- dolmen<0.6
- drom_toml
- dunewith-dev-setup & >=3.17.2
- edn
- electrod<0.4.1 | >=0.6.2
- electrumAnalyzerbuild
- embedded_ocaml_templates<0.8
- erlang
- forester!=2.1 & <3.0.0
- frama-cbuild & >=27.0~beta
- frama-c-luncovbuild & >=0.2.1
- FrontC>=4.0.0
- fstarbuild & <2025.02.17
- gadelac
- gdbprofiler
- gobba
- gospel
- graphql_parserbuild & >=0.9.0
- gufobuild
- heptagonbuild
- herdtools7>=7.55
- infernowith-test & >=20220603
- jasminbuild
- jingoo>=1.3.1
- js_of_ocaml-compiler>=3.7.1
- js_of_ocaml-webgpubuild & <0.2
- js_of_ocaml-webidlbuild
- karamel
- kdl
- kind2
- kremlin<transition
- labrys
- lambda
- libabsolute
- libsailbuild & <0.18
- libzipperpositionbuild
- links<0.9.4
- liquidsoap<2.3.3
- liquidsoap-lang<2.3.0
- logtkbuild
- lp
- lreplaybuild & >=0.1.1
- lspwith-test & <1.15.1-5.0
- mazeppa
- mc2
- merlindev & <4.14-500
- minicaml
- minimalbuild
- MlFront_Cli<2.3.1
- mopsa
- morbig
- msatwith-test & =0.8
- mustache>=3.1.0
- netkatbuild
- nice_parserwith-test
- nmea
- nuscr
- obelisk
- obusbuild & >=1.2.0
- ocamlformat>=0.14.0 & <0.19.0
- ocamlformat-rpc<0.19.0
- odatebuild & <0.7
- oddsbuild
- ollvmbuild
- ollvm-tapirbuild
- ometrics<0.2.0
- openQASM
- otoml
- ottwith-test & >=0.32
- p4pp!=0.1.8
- petr4
- pfff>=0.40.4
- phylogenetics
- ppx_pbt<0.2.1
- psmt2-frontend
- rdf<0.12.0
- reason
- rfsm
- runtime_events_toolswith-test & >=0.5.0
- sailbuild & <0.15
- satex
- satyrographos>=0.0.2.8
- sgf
- shapefilebuild
- sifun
- smtlib-utilsbuild
- solidity-parser
- sqlgg
- squirrel
- stog-writing
- swhid<0.2
- systemverilog>=0.0.2
- talaria-bibtex
- tip-parserbuild & >=0.4
- tomlbuild
- touist
- tptp
- uuuu<0.3.0
- wasm_of_ocaml-compiler
- wcs-lib>=2017-05-26.02
- webidlbuild & !=1.2
- why3>=1.3.0
- wikitext
- zanudawith-test
- zelus
- zipperpositionbuild
