installation

Commandes d'installation supplémentaires

macOS

Homebrew Caskvérifié · 100%

brew install --cask tla+-toolbox

local Homebrew cask metadata

aperçu

Résumé du paquet

IDE for TLA+

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 tla+-toolbox. 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 gestionnaire1.7.4

gestionnaire mis à jour

données localesOK

amontnot checked

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

https://github.com/tlaplus/tlaplus

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

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	cask:tla+-toolbox
Version	1.7.4
Gestionnaire de paquets	Homebrew Cask
Page du gestionnaire de paquets	https://formulae.brew.sh/cask/tla+-toolbox
Page d'accueil	https://lamport.azurewebsites.net/tla/toolbox.html
Dépôt	https://github.com/tlaplus/tlaplus
Docs amont	https://lamport.azurewebsites.net/tla/toolbox.html
Archive source	https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip
SHA-256	258677703e28a65d2d85c75388756a51198041a2555923e52ad5d6925f5c5bd7
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	tla+-toolbox
Names	TLA+ Toolbox
Old Tokens	tla-plus-toolbox
Artifacts	App 1 Target 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 tla+-toolbox avec Homebrew Cask