{"token":"coq-platform","full_token":"coq-platform","old_tokens":["coqide"],"tap":"homebrew/cask","name":["Coq Platform"],"desc":"Formal proof management system","homepage":"https://rocq-prover.org/","url":"https://github.com/rocq-prover/platform/releases/download/2025.01.0/coq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg","url_specs":{"verified":"github.com/rocq-prover/platform/"},"version":"2025.01.0,8.20.2025.01","autobump":true,"no_autobump_message":null,"skip_livecheck":false,"installed":null,"installed_time":null,"bundle_version":null,"bundle_short_version":null,"outdated":false,"sha256":"5bfced11017a61e6a0d71787e2a7a31ffbc09707792d783235caf99d0f41f0d3","artifacts":[{"app":["Coq-Platform~8.20~2025.01.app"]},{"zap":[{"trash":["~/.config/coq","~/Library/Application Support/coq","~/Library/Saved Application State/fr.inria.coq.coqide.savedState"]}]}],"caveats":null,"caveats_rosetta":null,"depends_on":{"macos":{">=":[""]}},"conflicts_with":null,"container":null,"rename":[],"auto_updates":null,"deprecated":false,"deprecation_date":null,"deprecation_reason":null,"deprecation_replacement_formula":null,"deprecation_replacement_cask":null,"deprecate_args":null,"disabled":false,"disable_date":null,"disable_reason":null,"disable_replacement_formula":null,"disable_replacement_cask":null,"disable_args":null,"tap_git_head":"0eaad22b7445ed561ad1a2b5459aa41171bcc935","languages":[],"ruby_source_path":"Casks/c/coq-platform.rb","ruby_source_checksum":{"sha256":"09143514798ed1653d92421af798f0c18db072b5ce46e70a8a898acc7fa6313c"},"variations":{"tahoe":{"url":"https://github.com/rocq-prover/platform/releases/download/2023.11.0/coq-Platform-release-2023.11.0-version.8.18.2023.11-MacOS-x86_64.dmg","version":"2023.11.0,8.18.2023.11","sha256":"cf63fd3031e0593d76431918427591c384591bfabf8fe9dbd385f92c0f0a0065","artifacts":[{"app":["Coq-Platform~8.18~2023.11.app"]},{"zap":[{"trash":["~/.config/coq","~/Library/Application Support/coq","~/Library/Saved Application State/fr.inria.coq.coqide.savedState"]}]}]},"sequoia":{"url":"https://github.com/rocq-prover/platform/releases/download/2023.11.0/coq-Platform-release-2023.11.0-version.8.18.2023.11-MacOS-x86_64.dmg","version":"2023.11.0,8.18.2023.11","sha256":"cf63fd3031e0593d76431918427591c384591bfabf8fe9dbd385f92c0f0a0065","artifacts":[{"app":["Coq-Platform~8.18~2023.11.app"]},{"zap":[{"trash":["~/.config/coq","~/Library/Application Support/coq","~/Library/Saved Application State/fr.inria.coq.coqide.savedState"]}]}]},"sonoma":{"url":"https://github.com/rocq-prover/platform/releases/download/2023.11.0/coq-Platform-release-2023.11.0-version.8.18.2023.11-MacOS-x86_64.dmg","version":"2023.11.0,8.18.2023.11","sha256":"cf63fd3031e0593d76431918427591c384591bfabf8fe9dbd385f92c0f0a0065","artifacts":[{"app":["Coq-Platform~8.18~2023.11.app"]},{"zap":[{"trash":["~/.config/coq","~/Library/Application Support/coq","~/Library/Saved Application State/fr.inria.coq.coqide.savedState"]}]}]},"ventura":{"url":"https://github.com/rocq-prover/platform/releases/download/2023.11.0/coq-Platform-release-2023.11.0-version.8.18.2023.11-MacOS-x86_64.dmg","version":"2023.11.0,8.18.2023.11","sha256":"cf63fd3031e0593d76431918427591c384591bfabf8fe9dbd385f92c0f0a0065","artifacts":[{"app":["Coq-Platform~8.18~2023.11.app"]},{"zap":[{"trash":["~/.config/coq","~/Library/Application Support/coq","~/Library/Saved Application State/fr.inria.coq.coqide.savedState"]}]}]},"monterey":{"url":"https://github.com/rocq-prover/platform/releases/download/2023.11.0/coq-Platform-release-2023.11.0-version.8.18.2023.11-MacOS-x86_64.dmg","version":"2023.11.0,8.18.2023.11","sha256":"cf63fd3031e0593d76431918427591c384591bfabf8fe9dbd385f92c0f0a0065","artifacts":[{"app":["Coq-Platform~8.18~2023.11.app"]},{"zap":[{"trash":["~/.config/coq","~/Library/Application Support/coq","~/Library/Saved Application State/fr.inria.coq.coqide.savedState"]}]}]},"big_sur":{"url":"https://github.com/rocq-prover/platform/releases/download/2023.11.0/coq-Platform-release-2023.11.0-version.8.18.2023.11-MacOS-x86_64.dmg","version":"2023.11.0,8.18.2023.11","sha256":"cf63fd3031e0593d76431918427591c384591bfabf8fe9dbd385f92c0f0a0065","artifacts":[{"app":["Coq-Platform~8.18~2023.11.app"]},{"zap":[{"trash":["~/.config/coq","~/Library/Application Support/coq","~/Library/Saved Application State/fr.inria.coq.coqide.savedState"]}]}]},"catalina":{"url":"https://github.com/rocq-prover/platform/releases/download/2023.11.0/coq-Platform-release-2023.11.0-version.8.18.2023.11-MacOS-x86_64.dmg","version":"2023.11.0,8.18.2023.11","sha256":"cf63fd3031e0593d76431918427591c384591bfabf8fe9dbd385f92c0f0a0065","artifacts":[{"app":["Coq-Platform~8.18~2023.11.app"]},{"zap":[{"trash":["~/.config/coq","~/Library/Application Support/coq","~/Library/Saved Application State/fr.inria.coq.coqide.savedState"]}]}]}},"analytics":{"install":{"30d":{"coq-platform":12},"90d":{"coq-platform":47},"365d":{"coq-platform":236}}},
"generated_date":"2026-04-28"}