{"name":"agda","full_name":"agda","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Dependently typed functional programming language","license":"MIT AND BSD-3-Clause","homepage":"https://wiki.portal.chalmers.se/agda/","versions":{"stable":"2.8.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/agda/agda/archive/refs/tags/v2.8.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"6950ccc4848ef18c22866a391b3d72f1c59bb87c621391f18d3557d463fe7dbb"},"head":{"url":"https://github.com/agda/agda.git","branch":"master","using":null}},"revision":1,"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":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/agda/blobs/sha256:3f7b090a2ddef6b21d12b360562225550b5052f70a9f16839afc553f0bcdad0e","sha256":"3f7b090a2ddef6b21d12b360562225550b5052f70a9f16839afc553f0bcdad0e"},"arm64_sequoia":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/agda/blobs/sha256:cbc178c91fa436738cd71303af4edb3105d95e5041843de8f0a3ec5cbbac3993","sha256":"cbc178c91fa436738cd71303af4edb3105d95e5041843de8f0a3ec5cbbac3993"},"arm64_sonoma":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/agda/blobs/sha256:ea4c080db237debe22c8889bcbcf1ad67faf7a66be0495e52628ff226389a36d","sha256":"ea4c080db237debe22c8889bcbcf1ad67faf7a66be0495e52628ff226389a36d"},"sonoma":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/agda/blobs/sha256:0df08c8a58ba9454afddbd9e6d311f4eb63869b04e486895c2abebf8c6f4ce9a","sha256":"0df08c8a58ba9454afddbd9e6d311f4eb63869b04e486895c2abebf8c6f4ce9a"},"arm64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/agda/blobs/sha256:5048669180928b424510c70ba74d9a2db0852213ac8b9a31a7a7d4f20e26d3bb","sha256":"5048669180928b424510c70ba74d9a2db0852213ac8b9a31a7a7d4f20e26d3bb"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/agda/blobs/sha256:90c3445afa1850ba4eae9fae4646938d42f3a06da728bb6b2a64bce4bd4a281b","sha256":"90c3445afa1850ba4eae9fae4646938d42f3a06da728bb6b2a64bce4bd4a281b"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cabal-install","emacs"],"dependencies":["ghc@9.12","gmp"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":["libffi","ncurses"],"uses_from_macos_bounds":[{},{}],"requirements":[],"conflicts_with":[],"conflicts_with_reasons":[],"link_overwrite":[],"caveats":"To use the installed Agda libraries, execute the following commands:\n\n    mkdir -p $HOME/.config/agda\n    cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-libraries $HOME/.config/agda/libraries\n    cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-defaults $HOME/.config/agda/defaults\n\nYou can then inspect the copied files and customize them as needed.\nIf you have upgraded your Agda installation from a previous version, you may need to redo this.\n","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/a/agda.rb","ruby_source_checksum":{"sha256":"a225a0e832f4c241b25d0ea7e9781c5c79f83107654a0a91b68e474e6d6ef8f1"},"variations":{"x86_64_linux":{"dependencies":["ghc@9.12","gmp","zlib-ng-compat"]},"arm64_linux":{"dependencies":["ghc@9.12","gmp","zlib-ng-compat"]}},"analytics":{"install":{"30d":{"agda":79},"90d":{"agda":191},"365d":{"agda":993,"agda --HEAD":4}},"install_on_request":{"30d":{"agda":55},"90d":{"agda":157},"365d":{"agda":844,"agda --HEAD":4}},"build_error":{"30d":{"agda":0}}},
"generated_date":"2026-04-28"}