インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%

brew install rocq-elpi

local Homebrew formula metadata

概要

パッケージ概要

Elpi extension language for Rocq

プロジェクトリンク

コマンドとエイリアス

rocq_elpi_optcomp
rocq_elpi_shafile
rocq_elpi_version_parser

セキュリティ状態

保護ツール対応はまだ見つかっていません

rocq-elpi に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、Nucleus パッケージメタデータはここに公開されています。

インストール挙動

formula メタデータに Homebrew post-install フックは記録されていません。
Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
2 件の実行時依存関係とともにインストールされます。
ビルドメタデータには 3 件のビルド依存関係があります。

推奨レビュー

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

実行可能ファイル

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

コマンド	種類	公開範囲
`rocq_elpi_optcomp`	cli	グローバル実行可能ファイル
`rocq_elpi_shafile`	cli	グローバル実行可能ファイル
`rocq_elpi_version_parser`	cli	グローバル実行可能ファイル

鮮度

バージョンと鮮度

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

ページ生成日2026-07-10

マネージャ版3.4.0

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

ローカルデータOK

上流not checked

検出された最新未検出

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

情報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
上流ドキュメント	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	未定義
サービス	宣言なし
注意点	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"

レジストリ情報

ソースデータベース詳細

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	rocq-elpi
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

パッケージグラフ

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

ソース経路

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

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

Combined YAML source

View the package source record on GitHub.

combined/rocq-elpi.yml

使用ソース

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

rocq-elpi を Homebrew でインストール