pkg.soopen package index

brew / 順位 2946

rocq を Homebrew, apk, dnf, MacPorts, pacman, zypper でインストール

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

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

インストール

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

macOS

Homebrew確認済み · 100%
brew install rocq

local Homebrew formula metadata

MacPorts確認済み · 94%
sudo port install rocq

MacPorts ports tree · lang/rocq/Portfile · ソース: api.github.com

Linux

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

概要

パッケージ概要

Proof assistant for higher-order logic

コマンドとエイリアス

  • coq-tex
  • coq_makefile
  • coqc
  • coqchk
  • coqdep
  • coqdoc
  • coqidetop
  • coqnative
  • coqpp
  • coqtop
  • coqtop.byte
  • coqwc
  • coqworkmgr
  • csdpcert
  • ocamllibdep
  • rocq
  • rocq.byte
  • rocqchk
  • votour

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

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

local files

Configuration and credential file locations

These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.

Configuration files

Config paths the tool may read or write during local use.

Unix
_CoqProject~/.coqrc

実行可能ファイル

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

コマンド種類公開範囲メモ
coq-tex実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coq_makefile実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqc実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqchk実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqdep実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqdoc実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqidetop実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqnative実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqpp実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqtop実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqtop.byte実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqwc実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
coqworkmgr実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
csdpcert実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
ocamllibdep実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
rocq実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
rocq.byte実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
rocqchk実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。
votour実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。

鮮度

バージョンと鮮度

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

ページ生成日2026-08-03
マネージャ版9.2.0
マネージャ更新日2026-07-13
ローカルデータ不明
上流利用不可
検出された最新未検出
  • OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:rocq
バージョン9.2.0
パッケージマネージャHomebrew
ホームページhttps://rocq-prover.org/
リポジトリhttps://github.com/rocq-prover/rocq
最終更新2026-07-13T05:11:31Z
Pulseupdated
Bottle未記録
サービス宣言なし

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

apk95%

coqide-server 9.1.1-r3

Formal proof management system (XML protocol server)

https://rocq-prover.org/

sudo apk add coqide-server
  • License: LGPL-2.1-or-later
  • Architecture: x86_64
  • Source Package: rocq
  • 1 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Rocq
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: coqide-server from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

rocq 9.1.1-r3

Formal proof management system

https://rocq-prover.org/

sudo apk add rocq
  • License: LGPL-2.1-or-later
  • Architecture: x86_64
  • Source Package: rocq
  • 1 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Rocq
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: rocq from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

rocq-doc 9.1.1-r3

Formal proof management system (documentation)

https://rocq-prover.org/

sudo apk add rocq-doc
  • License: LGPL-2.1-or-later
  • Architecture: x86_64
  • Source Package: rocq
  • normalized package name match
  • 一致条件: Rocq
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: rocq-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
dnf95%

coq-core-compat 9.2.0-3.fc45

Compatibility binaries for Coq after the Rocq renaming

https://rocq-prover.org/

sudo dnf install coq-core-compat
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 5 依存関係
  • 2 提供
  • normalized package name match
  • 一致条件: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: coq-core-compat from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq 9.2.0-3.fc45

Proof management system

https://rocq-prover.org/

sudo dnf install rocq
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 4 依存関係
  • 2 提供
  • normalized package name match
  • 一致条件: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-coqide-server 9.2.0-3.fc45

The coqidetop language server

https://rocq-prover.org/

sudo dnf install rocq-coqide-server
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 7 依存関係
  • 3 提供
  • normalized package name match
  • 一致条件: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-coqide-server from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-coqide-server-devel 9.2.0-3.fc45

Development files for rocq-coqide-server

https://rocq-prover.org/

sudo dnf install rocq-coqide-server-devel
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 3 依存関係
  • 3 提供
  • normalized package name match
  • 一致条件: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-coqide-server-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-core 9.2.0-3.fc45

The Rocq Prelude, and the Corelib and Ltac2 modules

https://rocq-prover.org/

sudo dnf install rocq-core
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 3 依存関係
  • 3 提供
  • normalized package name match
  • 一致条件: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-core from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-core-source 9.2.0-3.fc45

Source files of the Rocq Prelude, and the Corelib and Ltac2 modules

https://rocq-prover.org/

sudo dnf install rocq-core-source
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 1 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-core-source from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-doc 9.2.0-3.fc45

Documentation for the Rocq proof management system

https://rocq-prover.org/

sudo dnf install rocq-doc
  • License: OPUBL-1.0 AND LGPL-2.1-only AND MIT
  • Category: Unspecified
  • Architecture: noarch
  • Source Package: rocq
  • 1 依存関係
  • 2 提供
  • normalized package name match
  • 一致条件: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-rocqide 9.2.0-3.fc45

RocqIDE for the Rocq proof management system

https://rocq-prover.org/

sudo dnf install rocq-rocqide
  • License: LGPL-2.1-only AND LGPL-2.1-or-later
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 18 依存関係
  • 6 提供
  • normalized package name match
  • 一致条件: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-rocqide from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-runtime 9.2.0-3.fc45

Core binaries and tools of the Rocq proof management system

https://rocq-prover.org/

sudo dnf install rocq-runtime
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 9 依存関係
  • 4 提供
  • normalized package name match
  • 一致条件: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-runtime from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-runtime-devel 9.2.0-3.fc45

Development files for rocq-runtime

https://rocq-prover.org/

sudo dnf install rocq-runtime-devel
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 3 依存関係
  • 3 提供
  • normalized package name match
  • 一致条件: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-runtime-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
pacman95%

rocq 9.1.1-2

Interactive theorem prover, or proof assistant

https://rocq-prover.org/

sudo pacman -S rocq
  • License: LGPL-2.1-only
  • Architecture: x86_64
  • 4 依存関係
  • 1 提供
  • normalized package name match
  • 一致条件: Rocq
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: rocq from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
zypper95%

rocq 9.2.0-1.5

Proof Assistant based on the Calculus of Inductive Constructions

https://rocq-prover.org/

sudo zypper install rocq
  • License: LGPL-2.1-only
  • Category: Productivity/Scientific/Math
  • Architecture: x86_64
  • Source Package: coq
  • 5 依存関係
  • 2 提供
  • normalized package name match
  • 一致条件: Rocq
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: rocq from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
MacPorts95%

rocq

sudo port install rocq
  • normalized package name match
  • 一致条件: Rocq
MacPorts ports tree · api.github.com · MacPorts ports tree: lang/rocq/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

パッケージグラフ

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

エージェント安全ガイド

ソース経路

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

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

使用ソース

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated configuration and credential file locations
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation