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

Coq Platform

Приложение для macOS для управления доказательствами с Rocq Prover: интерактивного доказательства теорем и программирования с зависимыми типами.

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

Главная

Источник homebrew/cask

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

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

Последняя версия2025.01.031 мар. 2025 г. · 31 мар. 2025 г.

Размер загрузки1,0ГБarm64 / x86_64 · dmg

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

Репозиторий источника: homebrew/cask
Другие названия: Coq Platform · coqide · coq-platform
Ссылка для загрузки: github.com/rocq-prover/platform/releases/download/2025.01.0/coq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg
SHA-256: 5bfced11017a61e6…
Файл определения Homebrew: github.com/homebrew/homebrew-cask/blob/HEAD/Casks/c/coq-platform.rb
formulae.brew.sh: formulae.brew.sh/cask/coq-platform
Исходный код: github.com/rocq-prover/platform

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

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

Удалить данные пользователя zap

Показать полное описание

{
  "zap": [
    {
      "trash": [
        "~/.config/coq",
        "~/Library/Application Support/coq",
        "~/Library/Saved Application State/fr.inria.coq.coqide.savedState"
      ]
    }
  ]
}