# Install menhir

LR(1) parser generator for the OCaml programming language. Version 20260209 via Homebrew; verified from local package data.

## Install

```sh
sudo av install brew:menhir
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install menhir
```

  Evidence: local Homebrew formula metadata

### Linux

- Debian apt (92%):

```sh
sudo apt install libmenhir-ocaml-dev
```

  Evidence: Debian stable package indexes: libmenhir-ocaml-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

## Package Facts

- **Package key:** brew:menhir
- **Package manager:** Homebrew
- **Package manager URL:** <https://formulae.brew.sh/formula/menhir>
- **Version:** 20260209
- **Source summary:** LR(1) parser generator for the OCaml programming language
- **Homepage:** <http://cristal.inria.fr/~fpottier/menhir>
- **Repository:** <https://gitlab.inria.fr/fpottier/menhir>
- **Upstream docs:** <http://cristal.inria.fr/~fpottier/menhir>
- **License:** GPL-3.0-or-later
- **Source archive:** <https://gitlab.inria.fr/fpottier/menhir/-/archive/20260209/menhir-20260209.tar.bz2>
- **Generated:** 2026-06-10T07:18:26+00:00

## Executables

- menhir (cli)
- menhir (alias)

## Dependencies

- ocaml

## Build Dependencies

- dune
- ocamlbuild

## Install Behavior

- Post-install hook: not defined
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Freshness

- Page generated: 2026-06-10
- Package-manager version: 20260209
- Local data status: ok
- Upstream repository: http://cristal.inria.fr/~fpottier/menhir
- info: No package-manager update timestamp was available.
- info: Release/tag comparison is only available for GitHub repositories.

## Notes de sécurité

generalized runtime or code generation signal.

- **Geiger risk:** yellow / medium
- generalized runtime or code generation signal

## Source Database Details

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** menhir
- **Version Scheme:** 0
- **Revision:** 0
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** stable

## Other Package-Manager Records

- Debian apt - libmenhir-ocaml-dev - 20240715+ds-1+b2: normalized package name match | Debian stable package indexes: libmenhir-ocaml-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Menhir library for OCaml | https://gallium.inria.fr/~fpottier/menhir/
- Debian apt - menhir - 20240715+ds-1+b2: normalized package name match | Debian stable package indexes: menhir from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Parser generator for OCaml | https://gallium.inria.fr/~fpottier/menhir/
- Debian apt - menhir-doc - 20240715+ds-1: normalized package name match | Debian stable package indexes: menhir-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Documentation of the Menhir parser generator for OCaml | https://gallium.inria.fr/~fpottier/menhir/
- Ubuntu apt - libmenhir-ocaml-dev - 20231231+ds-1: normalized package name match | Ubuntu 24.04 LTS package indexes: libmenhir-ocaml-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Menhir library for OCaml | https://gallium.inria.fr/~fpottier/menhir/
- Ubuntu apt - menhir - 20231231+ds-1: normalized package name match | Ubuntu 24.04 LTS package indexes: menhir from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Parser generator for OCaml | https://gallium.inria.fr/~fpottier/menhir/
- Ubuntu apt - menhir-doc - 20231231+ds-1: normalized package name match | Ubuntu 24.04 LTS package indexes: menhir-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Documentation of the Menhir parser generator for OCaml | https://gallium.inria.fr/~fpottier/menhir/


## Related Links

- [Secret-risk packages](https://www.automicvault.com/fr/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals.
- [Terminal utility packages](https://www.automicvault.com/fr/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://www.automicvault.com/fr/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://www.automicvault.com/fr/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [ocaml](https://www.automicvault.com/fr/pkg/brew/ocaml/) - Runtime dependency declared by Homebrew.
- [dune](https://www.automicvault.com/fr/pkg/brew/dune/) - Build dependency declared by Homebrew.
- [ocamlbuild](https://www.automicvault.com/fr/pkg/brew/ocamlbuild/) - Build dependency declared by Homebrew.
- [byacc](https://www.automicvault.com/fr/pkg/brew/byacc/) - Shares av.db curated category or tags: cli, compiler-tools, developer-tools, parser-generator.
- [javacc](https://www.automicvault.com/fr/pkg/brew/javacc/) - Shares av.db curated category or tags: cli, developer-tools, grammar, parser-generator.
- [peg](https://www.automicvault.com/fr/pkg/brew/peg/) - Shares av.db curated category or tags: cli, compiler-tools, developer-tools, parser-generator.
- [tree-sitter-cli](https://www.automicvault.com/fr/pkg/brew/tree-sitter-cli/) - Shares av.db curated category or tags: cli, developer-tools, parser-generator.
- [bison](https://www.automicvault.com/fr/pkg/brew/bison/) - Shares av.db curated category or tags: cli, compiler-tools, developer-tools, parser-generator.
- [bnfc](https://www.automicvault.com/fr/pkg/brew/bnfc/) - Shares av.db curated category or tags: cli, developer-tools, grammar, parser-generator.
- [cmake](https://www.automicvault.com/fr/pkg/brew/cmake/) - Shares av.db curated category or tags: cli, compiler-tools, developer-tools.
- [yasm](https://www.automicvault.com/fr/pkg/brew/yasm/) - Shares av.db curated category or tags: cli, compiler-tools, developer-tools.

## Sources

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph
