installation

Commandes d'installation supplémentaires

macOS

Homebrew Caskvérifié · 100%

brew install --cask coq-platform

local Homebrew cask metadata

aperçu

Résumé du paquet

Formal proof management system

Liens du projet

Commandes et alias

Aucun alias exécutable n'a été trouvé dans la base locale des paquets.

posture de sécurité

Aucune couverture d'outil protégé trouvée pour le moment

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour coq-platform. Les métadonnées de paquet restent publiées ici afin que la couverture future dispose d'une URL stable.

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
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.

exécutables

Exécutables installés

Commande	Type	Exposition	Note
Aucune donnée d'exécutable n'était présente.

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

version du gestionnaire2025.01.0,8.20.2025.01

gestionnaire mis à jour

données localesOK

amontnot checked

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

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

infoNo package-manager update timestamp was available.confiance faible
infoNo cached GitHub release or tag data was available.https://github.com/rocq-prover/platformconfiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	cask:coq-platform
Version	2025.01.0,8.20.2025.01
Gestionnaire de paquets	Homebrew Cask
Page du gestionnaire de paquets	https://formulae.brew.sh/cask/coq-platform
Page d'accueil	https://rocq-prover.org/
Dépôt	https://github.com/rocq-prover/platform
Docs amont	https://rocq-prover.org/
Archive source	https://github.com/rocq-prover/platform/releases/download/2025.01.0/coq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg
SHA-256	5bfced11017a61e6a0d71787e2a7a31ffbc09707792d783235caf99d0f41f0d3
Bouteille	non enregistré
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

Source Database	Homebrew cask API
Tap	homebrew/cask
Full Token	coq-platform
Names	Coq Platform
Old Tokens	coqide
Artifacts	App 1 Target 1 Zap 1
Deprecated	no
Disabled	no

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

cross-ecosystem install command graph
package relationship graph
package version freshness
package-page enrichment

Installer coq-platform avec Homebrew Cask