Automic VaultAutomic Vault

brew / 順位 7151

menhir をインストール

menhir のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストールコマンドセキュリティノート

インストール

Automic Vault でインストール

Automic Vault
AV をダウンロード
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

プラットフォームノート

  • パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

LR(1) parser generator for the OCaml programming language

コマンドとエイリアス

  • menhir

セキュリティ状態

リスクレベル: 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.

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
menhircliglobal executable

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-06-10
マネージャ版20260209
マネージャ更新日
ローカルデータok
上流not checked
検出された最新not detected

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

インストールメタデータ

パッケージメタデータ

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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

関連ツール

  • ocamlRuntime dependency declared by Homebrew.
  • duneBuild dependency declared by Homebrew.
  • ocamlbuildBuild dependency declared by Homebrew.

同じワークフロー

  • byaccShares av.db curated category or tags: cli, compiler-tools, developer-tools, parser-generator.
  • javaccShares av.db curated category or tags: cli, developer-tools, grammar, parser-generator.
  • pegShares av.db curated category or tags: cli, compiler-tools, developer-tools, parser-generator.
  • tree-sitter-cliShares av.db curated category or tags: cli, developer-tools, parser-generator.
  • bisonShares av.db curated category or tags: cli, compiler-tools, developer-tools, parser-generator.
  • bnfcShares av.db curated category or tags: cli, developer-tools, grammar, parser-generator.

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • 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