Automic VaultAutomic Vault

brew / rang 7151

Installer menhir

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de menhir pour les workflows d'agents IA.

installation

Installer avec Automic Vault

Automic Vault
sudo av install brew:menhir

macOS

Homebrewverified · 100%
brew install menhir

local Homebrew formula metadata

Linux

Debian aptverified · 92%
sudo apt install libmenhir-ocaml-dev

Debian stable package indexes · libmenhir-ocaml-dev · source: deb.debian.org

Notes de plateforme

  • Aucune note de plateforme propre au paquet n'était présente.

aperçu

Résumé du paquet

LR(1) parser generator for the OCaml programming language

Commandes et alias

  • menhir

posture de sécurité

Niveau de risque : yellow

generalized runtime or code generation signal.

Risk classifier

yellow risk · medium confidence · runtime

Why

  • generalized runtime or code generation signal

Signals

  • text:programming language

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Installs with 1 runtime dependencies.
  • Build metadata lists 2 build dependencies.

Revue recommandée

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

Exécutables installés

CommandeTypeExpositionNote
menhircliglobal executable

fraîcheur

Version et 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.

page générée2026-06-10
version du gestionnaire20260209
gestionnaire mis à jour
données localesok
amontnot checked
dernière version détectéenot detected

http://cristal.inria.fr/~fpottier/menhir

métadonnées d'installation

Métadonnées du paquet

Package keybrew:menhir
Version20260209
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/menhir
Homepagehttp://cristal.inria.fr/~fpottier/menhir
Repositoryhttps://gitlab.inria.fr/fpottier/menhir
Upstream docshttp://cristal.inria.fr/~fpottier/menhir
LicenseGPL-3.0-or-later
Source archivehttps://gitlab.inria.fr/fpottier/menhir/-/archive/20260209/menhir-20260209.tar.bz2
Dependenciesocaml
Build dependenciesdune, ocamlbuild
Bottleavailable (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namemenhir
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Debian apt95%

libmenhir-ocaml-dev 20240715+ds-1+b2

Menhir library for OCaml

https://gallium.inria.fr/~fpottier/menhir/

sudo apt install libmenhir-ocaml-dev
  • Section: ocaml
  • Architecture: amd64
  • Source Package: menhir
  • 2 dependencies
  • 1 provides
  • 1 optional deps
  • normalized package name match
  • Matched by: Menhir
Debian stable package indexes · deb.debian.org · Debian stable package indexes: libmenhir-ocaml-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

menhir 20240715+ds-1+b2

Parser generator for OCaml

https://gallium.inria.fr/~fpottier/menhir/

sudo apt install menhir
  • Section: devel
  • Architecture: amd64
  • Source Package: menhir
  • 1 dependencies
  • 1 optional deps
  • normalized package name match
  • Matched by: Menhir
Debian stable package indexes · deb.debian.org · Debian stable package indexes: menhir from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Debian apt95%

menhir-doc 20240715+ds-1

Documentation of the Menhir parser generator for OCaml

https://gallium.inria.fr/~fpottier/menhir/

sudo apt install menhir-doc
  • Section: doc
  • Architecture: all
  • Source Package: menhir
  • normalized package name match
  • Matched by: Menhir
Debian stable package indexes · deb.debian.org · Debian stable package indexes: menhir-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Ubuntu apt95%

libmenhir-ocaml-dev 20231231+ds-1

Menhir library for OCaml

https://gallium.inria.fr/~fpottier/menhir/

sudo apt install libmenhir-ocaml-dev
  • Section: universe/libdevel
  • Architecture: amd64
  • Source Package: menhir
  • 2 dependencies
  • 1 provides
  • 1 optional deps
  • normalized package name match
  • Matched by: Menhir
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libmenhir-ocaml-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

menhir 20231231+ds-1

Parser generator for OCaml

https://gallium.inria.fr/~fpottier/menhir/

sudo apt install menhir
  • Section: universe/devel
  • Architecture: amd64
  • 1 dependencies
  • 1 optional deps
  • normalized package name match
  • Matched by: Menhir
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: menhir from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

menhir-doc 20231231+ds-1

Documentation of the Menhir parser generator for OCaml

https://gallium.inria.fr/~fpottier/menhir/

sudo apt install menhir-doc
  • Section: universe/doc
  • Architecture: all
  • Source Package: menhir
  • normalized package name match
  • Matched by: Menhir
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: menhir-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

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