pkg.soopen package index

brew / rang 2946

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.

Commande d'installationNotes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install rocq

local Homebrew formula metadata

MacPortsvérifié · 94%
sudo port install rocq

MacPorts ports tree · lang/rocq/Portfile · Source: api.github.com

Linux

Alpine Linux apkvérifié · 92%
sudo apk add rocq

Alpine Linux edge package indexes · rocq · Source: dl-cdn.alpinelinux.org

Fedora dnfvérifié · 92%
sudo dnf install rocq

Fedora Rawhide package metadata · rocq · Source: dl.fedoraproject.org

Arch Linux pacmanvérifié · 92%
sudo pacman -S rocq

Arch Linux sync databases · rocq · Source: geo.mirror.pkgbuild.com

openSUSE zyppervérifié · 92%
sudo zypper install rocq

openSUSE Tumbleweed package metadata · rocq · Source: download.opensuse.org

aperçu

Résumé du paquet

Proof assistant for higher-order logic

Commandes et alias

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

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

  • narrow executable package without higher-risk signals

Signaux

  • metadata:no-higher-risk-signals

Comportement d'installation

  • Aucune métadonnée de bottle Homebrew n’a été enregistrée.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

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

exécutables

Exécutables installés

CommandeTypeExpositionNote
coq-texexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coq_makefileexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqcexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqchkexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqdepexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqdocexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqidetopexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqnativeexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqppexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqtopexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqtop.byteexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqwcexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
coqworkmgrexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
csdpcertexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
ocamllibdepexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
rocqexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
rocq.byteexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
rocqchkexécutableexécutable indexéDécouvert depuis l'index local des exécutables.
votourexécutableexécutable indexéDécouvert depuis l'index local des exécutables.

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-08-03
version du gestionnaire9.2.0
gestionnaire mis à jour2026-07-13
données localesinconnu
amontnon disponible
dernière version détectéenon détecté
  • OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:rocq
Version9.2.0
Gestionnaire de paquetsHomebrew
Page d'accueilhttps://rocq-prover.org/
Dépôthttps://github.com/rocq-prover/rocq
Dernière mise à jour2026-07-13T05:11:31Z
Pulseupdated
Bouteillenon enregistré
Serviceaucun déclaré

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

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 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : 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
  • Correspondance par : 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 Dépendances
  • 2 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 2 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 3 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 3 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 3 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 2 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 6 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 4 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 3 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : 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 Dépendances
  • 2 fournit
  • normalized package name match
  • Correspondance par : 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
  • Correspondance par : 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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

  • 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