macOS
brew install menhirlocal Homebrew formula metadata
brew / rang 7151
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de menhir pour les workflows d'agents IA.
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
aperçu
LR(1) parser generator for the OCaml programming language
posture de sécurité
generalized runtime or code generation signal.
yellow risk · medium confidence · runtime
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
| Commande | Type | Exposition | Note |
|---|---|---|---|
menhir | cli | global executable |
fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
http://cristal.inria.fr/~fpottier/menhir
métadonnées d'installation
| 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-docpiste source
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.