{"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}},"patches":[],"revision":0,"version_scheme":0,"compatibility_version":null,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":2,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:823e1f7d48f7728b1938bfdc6f13d5d019eed5aea1dcaf0ffe76c0bf023b5c1d","sha256":"823e1f7d48f7728b1938bfdc6f13d5d019eed5aea1dcaf0ffe76c0bf023b5c1d"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:4c512b4a244010948e8610c46841d572bbbb27c6e9240a1b755a42cabafcfb51","sha256":"4c512b4a244010948e8610c46841d572bbbb27c6e9240a1b755a42cabafcfb51"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:c7646126bbcbc556b004d0a9d3ebd6339d6bdb5e2fdd05f290aa60dd24f1193e","sha256":"c7646126bbcbc556b004d0a9d3ebd6339d6bdb5e2fdd05f290aa60dd24f1193e"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:dea66e9e498f4fc6ef595c67b62c522361bccff0e9432e438c021ac4768e39f2","sha256":"dea66e9e498f4fc6ef595c67b62c522361bccff0e9432e438c021ac4768e39f2"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:8c6c596bab2944981e4a97e71ea42feedb60fbca35276e20cad140bfc3f6ffcd","sha256":"8c6c596bab2944981e4a97e71ea42feedb60fbca35276e20cad140bfc3f6ffcd"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cornelis/blobs/sha256:9ddb0a476cd96d13c732d6e41464ca3308279ff2918aeb2dc88d2be38135447d","sha256":"9ddb0a476cd96d13c732d6e41464ca3308279ff2918aeb2dc88d2be38135447d"}}}},"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_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"179655efbac45aca2314d5ac6277a00f2f152509","ruby_source_path":"Formula/c/cornelis.rb","ruby_source_checksum":{"sha256":"50890467427c96e2d3dbcab55dc8e92ca9470e34d77f3520d4c366597dbd65e4"},"variations":{"x86_64_linux":{"dependencies":["gmp","zlib-ng-compat"]},"arm64_linux":{"dependencies":["gmp","zlib-ng-compat"]}},"executables":["cornelis"],"analytics":{"install":{"30d":{"cornelis":12},"90d":{"cornelis":43},"365d":{"cornelis":97}},"install_on_request":{"30d":{"cornelis":12},"90d":{"cornelis":43},"365d":{"cornelis":97}},"build_error":{"30d":{"cornelis":0}}},
"generated_date":"2026-08-12"}