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

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

## インストール

```sh
sudo av install brew:rocq
```

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

### macOS

- Homebrew (100%):

```sh
brew install rocq
```

  証拠: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install rocq
```

  証拠: MacPorts ports tree: lang/rocq/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- apk (92%):

```sh
sudo apk add rocq
```

  証拠: Alpine Linux edge package indexes: rocq from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

- dnf (92%):

```sh
sudo dnf install rocq
```

  証拠: Fedora Rawhide package metadata: rocq from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst

- pacman (92%):

```sh
sudo pacman -S rocq
```

  証拠: Arch Linux sync databases: rocq from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

- zypper (92%):

```sh
sudo zypper install rocq
```

  証拠: openSUSE Tumbleweed package metadata: rocq from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst

## パッケージ情報

- **パッケージキー:** brew:rocq
- **パッケージマネージャ:** Homebrew
- **バージョン:** 9.2.0
- **ソース概要:** Proof assistant for higher-order logic
- **ホームページ:** <https://rocq-prover.org/>
- **リポジトリ:** <https://github.com/rocq-prover/rocq>
- **最終更新:** 2026-07-13T05:11:31Z
- **生成日時:** 2026-08-03T19:37:03+00:00

## 実行可能ファイル

- coq-tex (エイリアス)
- coq_makefile (エイリアス)
- coqc (エイリアス)
- coqchk (エイリアス)
- coqdep (エイリアス)
- coqdoc (エイリアス)
- coqidetop (エイリアス)
- coqnative (エイリアス)
- coqpp (エイリアス)
- coqtop (エイリアス)
- coqtop.byte (エイリアス)
- coqwc (エイリアス)
- coqworkmgr (エイリアス)
- csdpcert (エイリアス)
- ocamllibdep (エイリアス)
- rocq (エイリアス)
- rocq.byte (エイリアス)
- rocqchk (エイリアス)
- votour (エイリアス)

## インストール挙動

- Bottle: 利用不可

## バージョンと鮮度

- ページ生成日: 2026-08-03
- マネージャ版: 9.2.0

## セキュリティノート

narrow executable package without higher-risk signals.

- **Geiger リスク:** グリーン / 低
- narrow executable package without higher-risk signals


## 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

- Unix: _CoqProject, ~/.coqrc
## 他のパッケージマネージャ記録

- apk - coqide-server - 9.1.1-r3: normalized package name match | Alpine Linux edge package indexes: coqide-server from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Formal proof management system (XML protocol server) | https://rocq-prover.org/
- apk - rocq - 9.1.1-r3: normalized package name match | Alpine Linux edge package indexes: rocq from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Formal proof management system | https://rocq-prover.org/
- apk - rocq-doc - 9.1.1-r3: normalized package name match | Alpine Linux edge package indexes: rocq-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Formal proof management system (documentation) | https://rocq-prover.org/
- dnf - coq-core-compat - 9.2.0-3.fc45: normalized package name match | 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 | Compatibility binaries for Coq after the Rocq renaming | https://rocq-prover.org/
- dnf - rocq - 9.2.0-3.fc45: normalized package name match | Fedora Rawhide package metadata: rocq from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Proof management system | https://rocq-prover.org/
- dnf - rocq-coqide-server - 9.2.0-3.fc45: normalized package name match | 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 | The coqidetop language server | https://rocq-prover.org/
- dnf - rocq-coqide-server-devel - 9.2.0-3.fc45: normalized package name match | 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 | Development files for rocq-coqide-server | https://rocq-prover.org/
- dnf - rocq-core - 9.2.0-3.fc45: normalized package name match | 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 | The Rocq Prelude, and the Corelib and Ltac2 modules | https://rocq-prover.org/
- dnf - rocq-core-source - 9.2.0-3.fc45: normalized package name match | 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 | Source files of the Rocq Prelude, and the Corelib and Ltac2 modules | https://rocq-prover.org/
- dnf - rocq-doc - 9.2.0-3.fc45: normalized package name match | 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 | Documentation for the Rocq proof management system | https://rocq-prover.org/
- dnf - rocq-rocqide - 9.2.0-3.fc45: normalized package name match | 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 | RocqIDE for the Rocq proof management system | https://rocq-prover.org/
- dnf - rocq-runtime - 9.2.0-3.fc45: normalized package name match | 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 | Core binaries and tools of the Rocq proof management system | https://rocq-prover.org/
- dnf - rocq-runtime-devel - 9.2.0-3.fc45: normalized package name match | 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 | Development files for rocq-runtime | https://rocq-prover.org/
- pacman - rocq - 9.1.1-2: normalized package name match | Arch Linux sync databases: rocq from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Interactive theorem prover, or proof assistant | https://rocq-prover.org/
- zypper - rocq - 9.2.0-1.5: normalized package name match | openSUSE Tumbleweed package metadata: rocq from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst | Proof Assistant based on the Calculus of Inductive Constructions | https://rocq-prover.org/
- MacPorts - rocq: normalized package name match | MacPorts ports tree: lang/rocq/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## Combined YAML source

View the package source record on GitHub. [combined/rocq.yml](https://github.com/mxcl/pkgdb/blob/main/combined/rocq.yml)


## ソース

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