# rocq mit Homebrew, apk, dnf, MacPorts, pacman, zypper installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für rocq in AI-Agent-Workflows.

## Installation

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

Weitere Installationsbefehle:

### macOS

- Homebrew (100%):

```sh
brew install rocq
```

  Evidenz: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install rocq
```

  Evidenz: 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
```

  Evidenz: 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
```

  Evidenz: 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
```

  Evidenz: 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
```

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

## Paketfakten

- **Paketschlüssel:** brew:rocq
- **Paketmanager:** Homebrew
- **Version:** 9.2.0
- **Quellzusammenfassung:** Proof assistant for higher-order logic
- **Homepage:** <https://rocq-prover.org/>
- **Repository:** <https://github.com/rocq-prover/rocq>
- **Zuletzt aktualisiert:** 2026-07-13T05:11:31Z
- **Generiert:** 2026-08-03T19:37:03+00:00

## Executables

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

## Installationsverhalten

- Bottle: nicht verfügbar

## Version und Aktualität

- Seite generiert: 2026-08-03
- Manager-Version: 9.2.0

## Sicherheitshinweise

narrow executable package without higher-risk signals.

- **Geiger-Risiko:** grün / niedrig
- 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
## Andere Paketmanager-Einträge

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


## Quellen

- 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