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ías57

Instalaciones del último año680Total 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

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"
}
```