インストール

Automic Vault でインストール

Automic Vault

AV をダウンロード

sudo av install brew:rocq-elpi

macOS

Homebrew 確認済み · 100%

brew install rocq-elpi

local Homebrew formula metadata

パッケージマネージャソース

https://formulae.brew.sh/formula/rocq-elpi

プラットフォームノート

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

概要

パッケージ概要

Automic Vault は、rocq-elpi のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。

ホームページ

https://github.com/LPCIC/coq-elpi

コマンドとエイリアス

rocq_elpi_optcomp
rocq_elpi_shafile
rocq_elpi_version_parser

ソース概要

Elpi extension language for Rocq

セキュリティ状態

リスクレベル: green

no executable entrypoint in the package index.

リスク分類器

green リスク · low 信頼度 · appliance

理由

no executable entrypoint in the package index

信号

metadata:no-indexed-executables

インストール挙動

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
2 件の実行時依存関係とともにインストールされます。
ビルドメタデータには 3 件のビルド依存関係があります。

推奨レビュー

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

実行可能ファイル

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

コマンド	種類	公開範囲
`rocq_elpi_optcomp`	cli	global executable
`rocq_elpi_shafile`	cli	global executable
`rocq_elpi_version_parser`	cli	global executable

鮮度

バージョンと鮮度

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

ページ生成日2026-05-26

マネージャ版3.4.0

マネージャ更新日2026-05-21

ローカルデータok

上流not checked

検出された最新未検出

https://github.com/LPCIC/coq-elpi

info No cached GitHub release or tag data was available. https://github.com/LPCIC/coq-elpi none 信頼度

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:rocq-elpi
バージョン	3.4.0
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/rocq-elpi
ホームページ	https://github.com/LPCIC/coq-elpi
リポジトリ	https://github.com/LPCIC/coq-elpi
ライセンス	LGPL-2.1-or-later
ソースアーカイブ	https://github.com/LPCIC/coq-elpi/releases/download/v3.4.0/rocq-elpi-3.4.0.tar.gz
更新	2026-05-21T05:10:19Z
Pulse	updated
依存関係	ocaml-findlib, rocq
ビルド依存関係	dune, ocaml, opam
Bottle	利用可能 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定義
サービス	宣言なし
Caveats	Rocq needs help finding ML files installed inside `$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib`. This can be done by passing `-I $HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib` as an argument. Alternatively, you can add the directory to OCAMLPATH, e.g. export OCAMLPATH="$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib:$OCAMLPATH" or use the included findlib configuration file, e.g. export OCAMLFIND_CONF="$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib/findlib.conf"

パッケージグラフ

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

ソース経路

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

このページは scripts/generate-pkg-pages.py によって書かれます。www/pkg/ がローカルパッケージデータに対して古い場合、デプロイは公開を拒否します。

使用ソース

Geiger risk classifier
Nucleus package database
cross-ecosystem install command graph
package relationship graph
package version freshness
package-page enrichment

rocq-elpi をインストール