# Installer rocq avec Homebrew, apk, dnf, MacPorts, pacman, zypper

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de rocq pour les workflows d'agents IA.

## installation

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

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install rocq
```

  Preuve: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install rocq
```

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

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

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

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

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

## Faits du paquet

- **Clé du paquet:** brew:rocq
- **Gestionnaire de paquets:** Homebrew
- **Version:** 9.2.0
- **Résumé source:** Proof assistant for higher-order logic
- **Page d'accueil:** <https://rocq-prover.org/>
- **Dépôt:** <https://github.com/rocq-prover/rocq>
- **Dernière mise à jour:** 2026-07-13T05:11:31Z
- **Généré:** 2026-08-03T19:37:03+00:00

## exécutables

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

## Comportement d'installation

- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-03
- version du gestionnaire: 9.2.0

## Notes de sécurité

narrow executable package without higher-risk signals.

- **Risque Geiger:** vert / faible
- 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
## Autres enregistrements de gestionnaires de paquets

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


## Sources

- 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