pkg.soopen package index

brew / rang 6453

Installer menhir avec Homebrew, apt

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

Commande d'installationNotes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install menhir

local Homebrew formula metadata

Linux

Debian aptvérifié · 92%
sudo apt install menhir

Debian stable package indexes · menhir · Source: deb.debian.org

aperçu

Résumé du paquet

LR(1) parser generator for the OCaml programming language

Commandes et alias

  • menhir

historique

Historique du projet et usages

Menhir is an LR(1) parser generator for OCaml, created in 2005 by François Pottier and Yann Régis-Gianas. Its manual presents it as a generator that turns grammar specifications plus semantic actions into parsers, based on Knuth's LR(1) construction and inspired by yacc, ML-Yacc, and ocamlyacc while adding more modern capabilities.

Historique du projet

The project history is unusually well documented in its README. Régis-Gianas contributed the early front-end for parsing and transforming .mly grammar files, while Pottier contributed the LR(1) construction algorithms, conflict explanations, and first OCaml code backend. A table backend using menhirLib followed in 2008 with Jane Street Capital funding through the OCaml Summer Project. Jacques-Henri Jourdan implemented a Coq-table backend in 2011. Frédéric Bour contributed the incremental API, inspection API, attributes, and MenhirSdk between 2014 and 2017. The build moved to Dune in 2019, and Émile Trotignon and Pottier implemented a new efficient, well-typed code backend around StackLang in 2021.

Modes d'utilisation

Menhir's ecosystem role is as the richer successor-style tool for OCaml parser generation. OCaml developers feed it .mly grammar files and receive parser .ml/.mli output, either as standalone generated code or table-backed parsers linked with MenhirLib. The opam package page lists many reverse users, including compiler, verification, parsing, and developer-tooling packages, which matches its place as infrastructure for OCaml language tooling.

posture de sécurité

Niveau de risque : yellow

generalized runtime or code generation signal.

Classificateur de risque

risque yellow · confiance moyen · runtime

Pourquoi

  • generalized runtime or code generation signal

Signaux

  • text:programming language

Comportement d'installation

  • Aucune métadonnée de bottle Homebrew n’a été enregistrée.

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
menhirexécutableexécutable indexéDécouvert depuis l'index local des exécutables.

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-08-03
version du gestionnaire20260209
gestionnaire mis à jour2026-07-13
données localesinconnu
amontnon disponible
dernière version détectéenon détecté
  • OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:menhir
Version20260209
Gestionnaire de paquetsHomebrew
Page d'accueilhttp://cristal.inria.fr/~fpottier/menhir
Dernière mise à jour2026-07-13T05:11:30Z
Pulseupdated
Bouteillenon enregistré
Serviceaucun déclaré

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

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 Dépendances
  • 1 fournit
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : 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
  • Correspondance par : 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 Dépendances
  • 1 fournit
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 1 dépendances optionnelles
  • normalized package name match
  • Correspondance par : 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
  • Correspondance par : 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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

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
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation