menhir

LR(1) parser generator
Description
Install
Documentation status is unknown. gallium.inria.fr Edit opam file
Published
28 Sep 2014
Authors
Maintainers
Sources
menhir-20140422.tar.gz
md5=86c410cb088423cec7e20965e70cd8b4
Dependencies
ocamlbuild build & < "0.9.1"
ocamlfind
ocaml < "5.0"
Reverse Dependencies
acgtk >= "1.5.0" & < "1.5.3"
alba < "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.2.5"
asli
atd < "2.3.3"
bamboo
batsh < "0.0.5"
binsec < "0.4.0"
caradoc
cca < "0.4"
ccss
cfg < "2.1.0"
charrua-core
charrua-server < "1.4.0"
coccinelle < "1.1.0"
codept = "0.10.3"
coin < "0.1.4"
combine >= "0.42"
DrawGrammar
dedukti < "2.7"
doc-ock-xml
drom_toml
edn < "0.2.0"
electrod
embedded_ocaml_templates < "0.3.1"
erlang
FrontC = "4.0.0"
frenetic >= "5.0.0" & < "5.0.5"
gadelac
gdb
gdbprofiler < "0.4"
genet != "0.2"
gobba
gufo
heptagon < "1.01.00"
imaplet-lwt
inferno >= "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
libzipperposition
lilis
links >= "0.9" & < "0.9.4"
logtk >= "1.5.1"
lp < "0.4.0"
lsp < "1.8.0" | >= "1.11.3" & < "1.12.1"
mc2
merlin < "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
merlin-lib
mezzo
minicaml
modelica_ml
msat = "0.8"
mustache >= "3.0.0" & < "3.1.0"
nice_parser
nunchaku
obelisk
obrowser
ocaml-lsp-server < "1.2.0"
ocaml-r < "0.1.0"
odate
odds
ollvm
ollvm-tapir
ometrics < "0.2.0"
otoml
p4pp < "0.1.8"
petr4
phylogenetics
profound
psmt2-frontend < "0.3.0"
rdf >= "0.5" & < "0.10.0"
rfsm
sail < "0.15"
sgf
shapefile
sibylfs
smbc < "0.4.2"
smtlib-utils < "0.4"
sociaml-vcard
solidity-parser
spdiff
sqlgg
stog-writing
tip-parser
toml < "7.1.0"
tptp >= "0.3.1"
uuuu < "0.3.0"
wcs-lib >= "2017-05-26.02"
why3-base >= "0.86"
wikitext
zephyrus
zipperposition >= "1.1"