macOS
brew install menhirlocal Homebrew formula metadata
brew / Rang 7151
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für menhir in AI-Agent-Workflows.
Installation
sudo av install brew:menhirbrew install menhirlocal Homebrew formula metadata
sudo apt install libmenhir-ocaml-devDebian stable package indexes · libmenhir-ocaml-dev · source: deb.debian.org
Überblick
LR(1) parser generator for the OCaml programming language
Sicherheitslage
generalized runtime or code generation signal.
yellow risk · medium confidence · runtime
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
menhir | cli | global executable |
Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
http://cristal.inria.fr/~fpottier/menhir
Installationsmetadaten
| Package key | brew:menhir |
|---|---|
| Version | 20260209 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/menhir |
| 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 |
| Dependencies | ocaml |
| Build dependencies | dune, ocamlbuild |
| Bottle | available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| 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 |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
libmenhir-ocaml-dev 20240715+ds-1+b2
Menhir library for OCaml
https://gallium.inria.fr/~fpottier/menhir/
sudo apt install libmenhir-ocaml-devmenhir 20240715+ds-1+b2
Parser generator for OCaml
https://gallium.inria.fr/~fpottier/menhir/
sudo apt install menhirmenhir-doc 20240715+ds-1
Documentation of the Menhir parser generator for OCaml
https://gallium.inria.fr/~fpottier/menhir/
sudo apt install menhir-doclibmenhir-ocaml-dev 20231231+ds-1
Menhir library for OCaml
https://gallium.inria.fr/~fpottier/menhir/
sudo apt install libmenhir-ocaml-devmenhir 20231231+ds-1
Parser generator for OCaml
https://gallium.inria.fr/~fpottier/menhir/
sudo apt install menhirmenhir-doc 20231231+ds-1
Documentation of the Menhir parser generator for OCaml
https://gallium.inria.fr/~fpottier/menhir/
sudo apt install menhir-docQuellspur
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.