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> |
|---|---|
| License | GPL-2.0-only |
| Published | |
| Homepage | http://gitlab.inria.fr/fpottier/menhir |
| Issue Tracker | https://gitlab.inria.fr/fpottier/menhir/-/issues |
| Maintainer | francois.pottier@inria.fr |
| Dependencies | |
| Source [http] | https://gitlab.inria.fr/fpottier/menhir/-/archive/20240715/archive.tar.gz md5=d39a8943fe1be28199e5ec1f4133504c sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/menhir/menhir.20240715/opam |
Required by
- abella>=2.0.8
- absolute>=0.2
- acgtk!=1.5.1
- aifad>=2.3.0
- albabuild
- alonzo
- alt-ergo>=2.4.2
- alt-ergo-parsers>=2.4.0
- anders
- archetype
- arrakis
- aslibuild
- atd>=2.3.3
- binsecbuild & >=0.5.0
- bnfgen
- cairn
- caper
- catala>=0.3.0
- catt
- cca
- cfg>=2.3.0
- cfml
- charrua-corebuild
- charrua-serverbuild
- coccinelle>=1.0.9
- codept
- coq-lsp>=0.1.5+8.16
- cosovo
- css-parser
- dedukti
- diffast-core
- dirsp-ps2ocaml
- dkml-dune-dsl-show
- dolmen
- drom_toml
- dunewith-dev-setup & >=3.17.0
- earlybirdbuild
- edn>=0.2.0
- electrod>=0.6.2
- electrumAnalyzerbuild
- elpi>=1.15.0
- embedded_ocaml_templates<0.8
- encodingbuild
- erlang
- forester
- frama-cbuild & >=27.0~beta
- frama-c-luncovbuild & >=0.2.1
- frenetic
- FrontC>=4.0.0
- fsml<0.3.0
- fstarbuild
- gadelac
- gdbprofiler
- gobba
- gospel
- graphql_parserbuild & >=0.9.0
- gufobuild
- hardcaml-lua
- heptagonbuild
- herdtools7>=7.55
- highlexer
- http-date
- infernowith-test & >=20220603
- jasminbuild
- jingoo>=1.3.1
- js_of_ocaml-compiler>=4.0.0
- js_of_ocaml-webgpubuild & <0.2
- karamel
- kdl
- kind2>=1.6.0
- kremlin<transition
- lambda
- lambdapi>=2.1.0
- libabsolute
- libsailbuild
- libzipperpositionbuild
- links
- liquidsoap>=2.1.0-1 & <2.2.0
- liquidsoap-lang
- lp
- lreplaybuild & >=0.1.1
- lspwith-test & (<1.8.0 | >=1.11.3 & <1.15.0-4.14)
- lua_parser>=1.0.2
- mazeppa
- melange>=1.0.0
- melange-compiler-libs
- merlindev & >=3.5.0 & !=4.6-414 & <4.7-414
- merlin-libdev
- minicaml
- MlFront_Cli
- mopsa
- morbig
- msatwith-test & =0.8
- mustache>=3.1.0
- netkatbuild
- nice_parserwith-test
- nuscr!=2.0.0
- obelisk
- obusbuild & >=1.2.0
- ocaml-lsp-server<1.2.0
- ocamlformat>=0.14.0 & <0.25.1
- ocamlformat-lib
- ocamlformat-mlx-lib
- ocamlformat-rpc<0.21.0
- ocamlmig
- odate>=0.7
- oddsbuild
- ometrics<0.2.0
- opam-file-format>=2.2.0~alpha1
- openQASM
- optal
- otoml
- ottwith-test & >=0.32
- owibuild
- p4pp>=0.1.11
- p5scm
- pa_ppx_q_ast>=0.11
- passage
- petr4
- phylogenetics
- plist-xml>=0.4.0
- ppx_open
- ppx_pbt
- ppx_pyformat
- psmt2-frontend>=0.3.0
- pyast
- rdf
- reason
- res_tailwindcss
- rfsm>=2.0
- runtime_events_toolswith-test & >=0.5.0
- satex
- satyrographos>=0.0.2.8
- scfg
- sherlodoc
- sifun
- smtlib-utilsbuild & >=0.4
- smtmlbuild
- solidity-parser
- sqlgg>=20231201
- squirrel
- stog>=0.20.0
- stog-writing<0.19.0
- styled-ppx
- swhid<0.2
- talaria-bibtex
- tomlbuild & >=7.1.0
- touist
- tptp
- trs
- wasm_of_ocaml-compiler
- wcs-lib>=2017-05-26.02
- webidlbuild & <1.2
- why3>=1.3.0
- wikitext>=3.0.1
- zanudawith-test
- zelus
- zipperpositionbuild & <1.6
