menhirversion
An 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://gitlab.inria.fr/fpottier/menhir |
| Issue Tracker | menhir@inria.fr |
| Maintainer | francois.pottier@inria.fr |
| Dependencies |
|
| Source [http] | https://gitlab.inria.fr/fpottier/menhir/-/archive/20190613/archive.tar.gz md5=23c380e23903e1974c923f3a6ff25ad4 sha512=0a929803068771bcc785abd94d37966fdb84f515f7f82393e685d44cc6e18144f62f2e00e0a7bf9b69f87c2c4bb9e33435878322d26b8fc37f7756fd84bc6f46 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhir/menhir.20190613/opam |
Required by
- absolute>=0.2
- acgtk>=1.5.0 & <2.0.0
- aifad>=2.3.0
- 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
- arrakis
- aslibuild
- atd
- bamboobuild & <0.0.02
- batsh<0.0.5
- binsecbuild
- bnfgen<3.1.0
- caper
- caradoc
- cca<0.6.2
- ccss
- cfg<2.1.0 | >=2.3.0
- charrua-corebuild
- charrua-serverbuild
- coccinelle>=1.0.8
- codept>=0.10.3
- coin<0.1.4
- combine>=0.42
- dedukti
- dkml-dune-dsl-show
- doc-ock-xml
- dolmen<0.6
- DrawGrammar
- drom_toml
- edn
- electrod
- electrumAnalyzerbuild
- embedded_ocaml_templates<0.8
- encoding<0.0.2
- erlang
- forester!=2.1 & <3.0.0
- frama-cbuild & >=27.0~beta
- frama-c-luncovbuild & >=0.2.1
- FrontC>=4.0.0
- fstarbuild & >=0.9.5.0
- gadelac
- gdb
- gdbprofiler
- genet!=0.2
- gobba
- gospel
- graphql_parserbuild & >=0.9.0
- gufobuild
- heptagonbuild & >=1.01.00
- herdtools7>=7.55 & <7.56.3
- imaplet-lwt
- infernowith-test & >=20220603
- jasminbuild
- jingoo>=1.3.1
- js_of_ocaml>=1.4.0 & <3.0
- js_of_ocaml-compiler>=3.7.0
- js_of_ocaml-webgpubuild & <0.2
- js_of_ocaml-webidlbuild
- karamel
- kdl
- kind2
- kremlin<transition
- labrys
- lambdapi<2.0.0
- lambdoc
- libabsolute
- libsailbuild & <0.18
- libzipperpositionbuild
- lilis
- links>=0.9 & <0.9.4
- liquidsoap>=1.4.0 & <2.2.0
- liquidsoap-lang
- logtkbuild & >=1.5.1
- lp
- lreplaybuild & >=0.1.1
- lsp<1.8.0 | >=1.11.3 & <1.12.1
- mazeppa
- 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
- minimalbuild
- MlFront_Cli
- modelica_ml
- mopsa
- morbig<0.11.0
- msatwith-test & =0.8
- mustache>=3.0.0
- nice_parserwith-test
- obelisk
- obrowser
- obusbuild & >=1.2.0
- ocaml-lsp-server<1.2.0
- ocaml-r<0.1.0
- ocamlformat>=0.14.0 & <0.19.0~4.13preview
- ocamlformat-rpc<0.19.0
- odatebuild & <0.7
- oddsbuild
- ollvmbuild
- ollvm-tapirbuild
- ometrics<0.2.0
- otoml
- ottwith-test & >=0.32
- p4pp!=0.1.8
- petr4
- pfff>=0.40.4
- phylogenetics
- ppx_pbt<0.2.1
- profound
- psmt2-frontend
- rdf>=0.6.0 & <0.12.0
- reason>=3.3.5
- relit-reason
- rfsm
- runtime_events_toolswith-test & >=0.5.0
- sailbuild & <0.15
- satex
- satyrographos>=0.0.2.8
- sgf
- shapefilebuild
- sibylfs
- sifun
- smbc<0.4.2
- smtlib-utilsbuild
- sociaml-vcard
- solidity-parser
- sqlgg
- squirrel
- stog-writing
- swhid<0.2
- systemverilog
- talaria-bibtex
- tip-parserbuild
- tomlbuild
- touist
- tptp>=0.3.1
- uuuu<0.3.0
- wcs-lib>=2017-05-26.02
- webidlbuild & !=1.2
- why3>=1.0.0
- why3-base>=0.86.3
- wikitext
- zanudawith-test
- zelus
- zephyrus
- zipperpositionbuild & >=1.1
Optionally used by
- logtkbuild & <1.5.1
- zipperpositionbuild & <1.1
