Package: menhir (20250912+ds-1 and others)

Links for menhir

Debian Resources:

Download Source Package menhir:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Mehdi Dogguy (QA Page)
Ralf Treinen (QA Page)

External Resources:

Homepage [gallium.inria.fr]

Similar packages:

Parser generator for OCaml

Menhir is a LR(1) parser generator for the OCaml programming language. It is mostly compatible with the ocamlyacc parser generator provided with the OCaml system, and has the following enhancements over ocamlyacc:

 * it accepts LR(1) grammars,
 * it offers parameterized nonterminal symbols as well as a library of
   standard definitions,
 * it explains conflicts in terms of the grammar,
 * it allows grammar specifications to be split over multiple files and
   parametrized by OCaml modules,
 * it produces reentrant parsers.

Tags: Software Development: Code Generation, OCaml Development, Implemented in: implemented-in::ocaml, interface::commandline, Role: Program, Scope: Utility

Other Packages Related to menhir

depends

recommends

suggests

enhances

dep: libatomic1 (>= 4.8) [armel, m68k, sh4]

support library providing __atomic built-in functions
dep: libc6 (>= 2.38) [not alpha, ia64, loong64, sh4]

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.41) [loong64, sh4]
dep: libc6.1 (>= 2.37) [ia64]

GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb

dep: libc6.1 (>= 2.38) [alpha]
dep: libzstd1 (>= 1.5.5) [not amd64, arm64, ia64, ppc64el, riscv64, s390x]

fast lossless compression algorithm

sug: menhir-doc

Documentation of the Menhir parser generator for OCaml

Download menhir

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	20250912+ds-1	389.5 kB	2,203.0 kB	[list of files]
amd64	20250912+ds-1	1,367.0 kB	5,697.0 kB	[list of files]
arm64	20250912+ds-1	1,554.8 kB	6,929.0 kB	[list of files]
armel	20250912+ds-1	370.2 kB	2,072.0 kB	[list of files]
armhf	20250912+ds-1	369.2 kB	1,944.0 kB	[list of files]
hppa (unofficial port)	20250912+ds-1	380.6 kB	2,069.0 kB	[list of files]
i386	20250912+ds-1	408.1 kB	2,120.0 kB	[list of files]
ia64 (unofficial port)	20231231+ds-1	384.7 kB	2,269.0 kB	[list of files]
loong64 (unofficial port)	20250912+ds-1	389.4 kB	2,137.0 kB	[list of files]
m68k (unofficial port)	20250912+ds-1	351.5 kB	1,968.0 kB	[list of files]
mips64el	20250912+ds-1	383.9 kB	2,187.0 kB	[list of files]
ppc64 (unofficial port)	20250912+ds-1	403.3 kB	2,329.0 kB	[list of files]
ppc64el	20250912+ds-1	1,390.5 kB	6,225.0 kB	[list of files]
riscv64	20250912+ds-1	1,407.0 kB	6,157.0 kB	[list of files]
s390x	20250912+ds-1	1,375.5 kB	6,573.0 kB	[list of files]
sh4 (unofficial port)	20250912+ds-1	383.6 kB	2,009.0 kB	[list of files]
sparc64 (unofficial port)	20250912+ds-1	360.2 kB	2,657.0 kB	[list of files]
x32 (unofficial port)	20250912+ds-1	386.9 kB	2,048.0 kB	[list of files]