pkg.soopen package index

cask

coq-platform を Homebrew Cask でインストール

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

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

インストール

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

macOS

Homebrew Cask確認済み · 100%
brew install --cask coq-platform

local Homebrew cask metadata

概要

パッケージ概要

Formal proof management system

コマンドとエイリアス

ローカルパッケージデータベースに実行可能エイリアスは見つかりませんでした。

セキュリティ状態

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

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

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

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

実行可能ファイル

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

コマンド種類公開範囲メモ
実行可能ファイルのデータはありません。

鮮度

バージョンと鮮度

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

ページ生成日2026-08-04
マネージャ版2025.01.0,8.20.2025.01
マネージャ更新日
ローカルデータOK
上流not checked
検出された最新未検出

https://github.com/rocq-prover/platform

インストールメタデータ

パッケージメタデータ

パッケージキーcask:coq-platform
バージョン2025.01.0,8.20.2025.01
パッケージマネージャHomebrew Cask
パッケージマネージャページhttps://formulae.brew.sh/cask/coq-platform
ホームページhttps://rocq-prover.org/
リポジトリhttps://github.com/rocq-prover/platform
上流ドキュメントhttps://rocq-prover.org/
ソースアーカイブhttps://github.com/rocq-prover/platform/releases/download/2025.01.0/coq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg
SHA-2565bfced11017a61e6a0d71787e2a7a31ffbc09707792d783235caf99d0f41f0d3
Bottle未記録
Homebrew post-install未定義
サービス宣言なし

レジストリ情報

ソースデータベース詳細

Source DatabaseHomebrew cask API
Taphomebrew/cask
Full Tokencoq-platform
Names
  • Coq Platform
Old Tokens
  • coqide
Artifacts
App
1
Target
1
Zap
1
Deprecatedno
Disabledno

パッケージグラフ

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

ソース経路

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

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

使用ソース

  • cross-ecosystem install command graph
  • package relationship graph
  • package version freshness
  • package-page enrichment