macOS
Homebrew
確認済み · 100%
brew install rocq
local Homebrew formula metadata
brew パッケージインテリジェンス
rocq をインストール
rocq のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
Automic Vault でインストール
Automic Vault
sudo av install brew:rocqLinux
Alpine Linux apk
確認済み · 92%
sudo apk add rocq
Alpine Linux edge package indexes · rocq · ソース: dl-cdn.alpinelinux.org
Fedora dnf
確認済み · 92%
sudo dnf install rocq
Fedora Rawhide package metadata · rocq · ソース: dl.fedoraproject.org
Arch Linux pacman
確認済み · 92%
sudo pacman -S rocq
Arch Linux sync databases · rocq · ソース: geo.mirror.pkgbuild.com
openSUSE zypper
確認済み · 92%
sudo zypper install rocq
openSUSE Tumbleweed package metadata · rocq · ソース: download.opensuse.org
パッケージマネージャソース
プラットフォームノート
- パッケージ固有のプラットフォームノートはありません。
概要
パッケージ概要
Automic Vault は、rocq のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。
ホームページ
コマンドとエイリアス
- coq-tex
- coq_makefile
- coqc
- coqchk
- coqdep
- coqdoc
- coqidetop
- coqnative
- coqpp
- coqtop
- coqtop.byte
- coqwc
- coqworkmgr
- csdpcert
- ocamllibdep
- rocq
- rocq.byte
- rocqchk
- votour
ソース概要
Proof assistant for higher-order logic
セキュリティ状態
リスクレベル: green
narrow executable package without higher-risk signals.
リスク分類器
green リスク · low 信頼度 · appliance
理由
- narrow executable package without higher-risk signals
信号
- metadata:no-higher-risk-signals
インストール挙動
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- 4 件の実行時依存関係とともにインストールされます。
- ビルドメタデータには 1 件のビルド依存関係があります。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
coq-tex | cli | global executable | |
coq_makefile | cli | global executable | |
coqc | cli | global executable | |
coqchk | cli | global executable | |
coqdep | cli | global executable | |
coqdoc | cli | global executable | |
coqidetop | cli | global executable | |
coqnative | cli | global executable | |
coqpp | cli | global executable | |
coqtop | cli | global executable | |
coqtop.byte | cli | global executable | |
coqwc | cli | global executable | |
coqworkmgr | cli | global executable | |
csdpcert | cli | global executable | |
ocamllibdep | cli | global executable | |
rocq | cli | global executable | |
rocq.byte | cli | global executable | |
rocqchk | cli | global executable | |
votour | cli | global executable |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-05-26
マネージャ版9.1.1
マネージャ更新日2026-03-22
ローカルデータok
上流not checked
検出された最新未検出
https://github.com/rocq-prover/rocq
- info No cached GitHub release or tag data was available. https://github.com/rocq-prover/rocq none 信頼度
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:rocq |
|---|---|
| バージョン | 9.1.1 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/rocq |
| ホームページ | https://rocq-prover.org/ |
| リポジトリ | https://github.com/rocq-prover/rocq |
| 上流ドキュメント | https://rocq-prover.org/ |
| ライセンス | LGPL-2.1-only |
| ソースアーカイブ | https://github.com/rocq-prover/rocq/releases/download/V9.1.1/rocq-9.1.1.tar.gz |
| 更新 | 2026-03-22T03:32:09Z |
| Pulse | updated |
| 依存関係 | gmp, ocaml, ocaml-findlib, ocaml-zarith |
| ビルド依存関係 | dune |
| Bottle | 利用可能 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
ソース経路
リポジトリデータから生成
このページは 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