O Homebrew desativou este pacote: Sem atualização de versão há mais de 90 dias

TLA+ Toolbox

IDE para macOS voltada às ferramentas TLA+, com edição de especificações, tradução de PlusCal, verificação de modelos TLC, exploração de rastros e provas.

CaskFerramentas de desenvolvimentoApple Silicon · IntelDesativado

Página inicial

Fonte homebrew/cask

Instalações nos últimos 30 dias50

Instalações no último ano677Total em 365 dias

Versão mais recente1.7.45 de ago. de 2024 · 5 de ago. de 2024

Tamanho do download179MBarm64 / x86_64 · zip

Frequência de atualizaçõesIrregular0 versão nos últimos 30 dias

Sistema e arquitetura

Requisitos do sistema: Não confirmado

Disponibilidade por plataforma

macOS 27 · Intel · 1.7.4 Não confirmado
macOS 27 · Apple Silicon · 1.7.4 Não confirmado · Requer Rosetta
macOS 26 · Intel · 1.7.4 Não confirmado
macOS 26 · Apple Silicon · 1.7.4 Não confirmado · Requer Rosetta
macOS 15 · Intel · 1.7.4 Não confirmado
macOS 15 · Apple Silicon · 1.7.4 Não confirmado · Requer Rosetta
macOS 14 · Intel · 1.7.4 Não confirmado
macOS 14 · Apple Silicon · 1.7.4 Não confirmado · Requer Rosetta
macOS 13 · Intel · 1.7.4 Não confirmado
macOS 13 · Apple Silicon · 1.7.4 Não confirmado · Requer Rosetta
macOS 12 · Intel · 1.7.4 Não confirmado
macOS 12 · Apple Silicon · 1.7.4 Não confirmado · Requer Rosetta
macOS 11 · Intel · 1.7.4 Não confirmado
macOS 11 · Apple Silicon · 1.7.4 Não confirmado · Requer Rosetta

Ver declaração completa

{
  "macos": {}
}

Repositório de origem: homebrew/cask
Outros nomes: TLA+ Toolbox · tla-plus-toolbox · tla+-toolbox
Endereço de download: github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip
SHA-256: 258677703e28a65d…
Arquivo de definição do Homebrew: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/t/tla+-toolbox.rb
formulae.brew.sh: formulae.brew.sh/cask/tla+-toolbox
Código-fonte: github.com/tlaplus/tlaplus

Conteúdo da instalação e desinstalação

Instalar app
Arquivo de origem: TLA+ Toolbox.app
Destino declarado: /Applications/TLA+ Toolbox.app
Ver declaração completa
```
{
  "app": [
    "TLA+ Toolbox.app"
  ],
  "target": "/Applications/TLA+ Toolbox.app"
}
```