Homebrew отключил этот пакет: Версия не обновлялась более 90 дней

TLA+ Toolbox

IDE для macOS для работы с инструментами TLA+: редактирование спецификаций, перевод PlusCal, проверка моделей TLC, исследование трасс и доказательства.

CaskИнструменты разработкиЧип Apple · IntelОтключено

Главная

Источник homebrew/cask

Установки за последние 30 дней54

Установки за последний год679Всего за 365 дней

Последняя версия1.7.45 авг. 2024 г. · 5 авг. 2024 г.

Размер загрузки179МБarm64 / x86_64 · zip

Частота обновленийНерегулярно0 релизов за 30 дней

Репозиторий источника: homebrew/cask
Другие названия: TLA+ Toolbox · tla-plus-toolbox · tla+-toolbox
Ссылка для загрузки: github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip
SHA-256: 258677703e28a65d…
Файл определения Homebrew: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/t/tla+-toolbox.rb
formulae.brew.sh: formulae.brew.sh/cask/tla+-toolbox
Исходный код: github.com/tlaplus/tlaplus

Состав установки и удаления

Установить app
Исходный файл: TLA+ Toolbox.app
Указанное место назначения: /Applications/TLA+ Toolbox.app
Показать полное описание
```
{
  "app": [
    "TLA+ Toolbox.app"
  ],
  "target": "/Applications/TLA+ Toolbox.app"
}
```