installation

Installer avec Automic Vault

Automic Vault

Télécharger AV

sudo av install brew:rocq

macOS

Homebrew vérifié · 100%

brew install rocq

local Homebrew formula metadata

Linux

Alpine Linux apk vérifié · 92%

sudo apk add rocq

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

Fedora dnf vérifié · 92%

sudo dnf install rocq

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

Arch Linux pacman vérifié · 92%

sudo pacman -S rocq

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

openSUSE zypper vérifié · 92%

sudo zypper install rocq

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

Source du gestionnaire de paquets

https://formulae.brew.sh/formula/rocq

Notes de plateforme

Aucune note de plateforme propre au paquet n'était présente.

aperçu

Résumé du paquet

Automic Vault publie les chemins d'installation, les faits d'exécutables et les métadonnées de sécurité propres à rocq depuis les données locales de paquets.

Page d'accueil

https://rocq-prover.org/

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

Résumé source

Proof assistant for higher-order logic

posture de sécurité

Niveau de risque : green

narrow executable package without higher-risk signals.

Classificateur de risque

green risque · low confiance · appliance

Pourquoi

narrow executable package without higher-risk signals

Signaux

metadata:no-higher-risk-signals

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
S’installe avec 4 dépendances d’exécution.
Les métadonnées de compilation listent 1 dépendances de compilation.

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.

exécutables

Exécutables installés

Commande	Type	Exposition
`coq-tex`	cli	global executable
`coq_makefile`	cli	global executable
`coqc`	cli	global executable
`coqchk`	cli	global executable
`coqdep`	cli	global executable
`coqdoc`	cli	global executable
`coqidetop`	cli	global executable
`coqnative`	cli	global executable
`coqpp`	cli	global executable
`coqtop`	cli	global executable
`coqtop.byte`	cli	global executable
`coqwc`	cli	global executable
`coqworkmgr`	cli	global executable
`csdpcert`	cli	global executable
`ocamllibdep`	cli	global executable
`rocq`	cli	global executable
`rocq.byte`	cli	global executable
`rocqchk`	cli	global executable
`votour`	cli	global executable

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-05-26

version du gestionnaire9.1.1

gestionnaire mis à jour2026-03-22

données localesok

amontnot checked

dernière version détectéenon détecté

https://github.com/rocq-prover/rocq

info No cached GitHub release or tag data was available. https://github.com/rocq-prover/rocq none confiance

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:rocq
Version	9.1.1
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/rocq
Page d'accueil	https://rocq-prover.org/
Dépôt	https://github.com/rocq-prover/rocq
Docs amont	https://rocq-prover.org/
Licence	LGPL-2.1-only
Archive source	https://github.com/rocq-prover/rocq/releases/download/V9.1.1/rocq-9.1.1.tar.gz
Mis à jour	2026-03-22T03:32:09Z
Pulse	updated
Dépendances	gmp, ocaml, ocaml-findlib, ocaml-zarith
Dépendances de compilation	dune
Bouteille	disponible (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

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 écrite par scripts/generate-pkg-pages.py. Les déploiements refusent de publier si www/pkg/ est obsolète par rapport aux données locales de paquets.

Sources utilisées

Geiger risk classifier
Nucleus package database
cross-ecosystem install command graph
package relationship graph
package version freshness
package-page enrichment

Installer rocq