package names descriptions source package names package contents all options

[  jammy  ] [  noble  ] [  resolute  ] [  stonking  ] [  tenacious  ]

[ Source: menhir  ]

About

published in section universe

Ubuntu Resources:

• Launchpad
• Bug Reports
• Source Package
• Publishing History
• Changelog
• Copyright File

Source Package menhir:

• [menhir_20260209+ds.orig.tar.xz]
• [menhir_20260209+ds-3build1.debian.tar.xz]
• [menhir_20260209+ds-3build1.dsc]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (Mail Archive)
• Mehdi Dogguy
• Ralf Treinen

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [gallium.inria.fr]

Similar packages:

• libmenhir-ocaml-dev
• bison-doc
• libppx-visitors-ocaml-doc
• libcoq-menhirlib
• libodoc-ocaml
• libodoc-ocaml-dev
• ocaml-odoc
• libmorbig-ocaml-dev
• ocaml-doc
• otags
• atdts

Download menhir-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	527.4 kB	917.0 kB	[list of files]