{"name":"cornelis","full_name":"cornelis","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Neovim support for Agda","license":"BSD-3-Clause","homepage":"https://github.com/agda/cornelis","versions":{"stable":"2.8.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/agda/cornelis/archive/refs/tags/v2.8.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"41787428319dbde15b51ce427451d4a48f14d54a7c42902d004458e232ca3022"},"head":{"url":"https://github.com/agda/cornelis.git","branch":"master","using":null}},"revision":0,"version_scheme":0,"compatibility_version":null,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":1,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:3ab116742d0b8c90533803a535510040520b1a90d8e0b68e9a9d10fc6ca065af","sha256":"3ab116742d0b8c90533803a535510040520b1a90d8e0b68e9a9d10fc6ca065af"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:f539829b0e192eb0891a00b8a200ccf0e6c11002499662de544535214dbc3f2d","sha256":"f539829b0e192eb0891a00b8a200ccf0e6c11002499662de544535214dbc3f2d"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:4a907e326af68978aa8c5a1bca6bc3f29557e7d94a5397a0ceff6b5a1e63468b","sha256":"4a907e326af68978aa8c5a1bca6bc3f29557e7d94a5397a0ceff6b5a1e63468b"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:05c0bca472d34b3ab32a48d4e67005584e2be329c93996817029724ffb857547","sha256":"05c0bca472d34b3ab32a48d4e67005584e2be329c93996817029724ffb857547"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:681e3180af2e1f4bd4c88f2ecaf47b73c5cf3999bfbe61fe9497bc3e618ebef0","sha256":"681e3180af2e1f4bd4c88f2ecaf47b73c5cf3999bfbe61fe9497bc3e618ebef0"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:26837b1b79f08ab9ed366fd425cabec1d927cea8ba6d3355480c8e324be9476f","sha256":"26837b1b79f08ab9ed366fd425cabec1d927cea8ba6d3355480c8e324be9476f"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cabal-install","ghc","hpack"],"dependencies":["gmp"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":["libffi"],"uses_from_macos_bounds":[{}],"requirements":[],"conflicts_with":[],"conflicts_with_reasons":[],"link_overwrite":[],"caveats":null,"installed":[],"linked_keg":null,"pinned":false,"outdated":false,"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,"post_install_defined":false,"service":null,"tap_git_head":"f0c124556c25d1d383ae57335c1e892f34da9e9b","ruby_source_path":"Formula/c/cornelis.rb","ruby_source_checksum":{"sha256":"40451ed7036f53f42362edd13be2b84710cbaa3c395380f52fd2e338dcb63fba"},"variations":{"x86_64_linux":{"dependencies":["gmp","zlib-ng-compat"]},"arm64_linux":{"dependencies":["gmp","zlib-ng-compat"]}},"analytics":{"install":{"30d":{"cornelis":1},"90d":{"cornelis":19},"365d":{"cornelis":103}},"install_on_request":{"30d":{"cornelis":1},"90d":{"cornelis":19},"365d":{"cornelis":103}},"build_error":{"30d":{"cornelis":0}}},
"generated_date":"2026-04-28"}