Homebrew ha deshabilitado este paquete: Sin actualizaciones de versión durante más de 90 días

TLA+ Toolbox

IDE para macOS destinada a las herramientas de TLA+: edición de especificaciones, traducción de PlusCal, comprobación de modelos con TLC, exploración de trazas y pruebas.

CaskHerramientas de desarrolloChip Apple · IntelDesactivada

Inicio

De homebrew/cask

Instalaciones en los últimos 30 días50

Instalaciones del último año677Total de los últimos 365 días

Última versión1.7.45 ago 2024 · 5 ago 2024

Tamaño de descarga179MBarm64 / x86_64 · zip

Frecuencia de actualizaciónIrregular0 versiones en 30 días

Sistema y arquitectura

Requisitos del sistema: Sin confirmar

Disponibilidad en plataformas

macOS 27 · Intel · 1.7.4 Sin confirmar
macOS 27 · Apple Silicon · 1.7.4 Sin confirmar · Requiere Rosetta
macOS 26 · Intel · 1.7.4 Sin confirmar
macOS 26 · Apple Silicon · 1.7.4 Sin confirmar · Requiere Rosetta
macOS 15 · Intel · 1.7.4 Sin confirmar
macOS 15 · Apple Silicon · 1.7.4 Sin confirmar · Requiere Rosetta
macOS 14 · Intel · 1.7.4 Sin confirmar
macOS 14 · Apple Silicon · 1.7.4 Sin confirmar · Requiere Rosetta
macOS 13 · Intel · 1.7.4 Sin confirmar
macOS 13 · Apple Silicon · 1.7.4 Sin confirmar · Requiere Rosetta
macOS 12 · Intel · 1.7.4 Sin confirmar
macOS 12 · Apple Silicon · 1.7.4 Sin confirmar · Requiere Rosetta
macOS 11 · Intel · 1.7.4 Sin confirmar
macOS 11 · Apple Silicon · 1.7.4 Sin confirmar · Requiere Rosetta

Ver declaración completa

{
  "macos": {}
}

Repositorio de origen: homebrew/cask
Otros nombres: TLA+ Toolbox · tla-plus-toolbox · tla+-toolbox
URL de descarga: github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip
SHA-256: 258677703e28a65d…
Archivo de definición de Homebrew: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/t/tla+-toolbox.rb
formulae.brew.sh: formulae.brew.sh/cask/tla+-toolbox
Código fuente: github.com/tlaplus/tlaplus

Contenido de instalación y desinstalación

Instalar app
Archivo de origen: TLA+ Toolbox.app
Destino declarado: /Applications/TLA+ Toolbox.app
Ver declaración completa
```
{
  "app": [
    "TLA+ Toolbox.app"
  ],
  "target": "/Applications/TLA+ Toolbox.app"
}
```