{"name":"idris2","full_name":"idris2","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Pure functional programming language with dependent types","license":"BSD-3-Clause","homepage":"https://www.idris-lang.org/","versions":{"stable":"0.8.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/idris-lang/Idris2/archive/refs/tags/v0.8.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"7b85226098c5dee96a0a77c892932d2e9fab8e5a5c2d08a0525520e1f4405551"},"head":{"url":"https://github.com/idris-lang/Idris2.git","branch":"main","using":null}},"patches":[],"revision":2,"version_scheme":0,"compatibility_version":null,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:b24e19d4055957fccaacd37f3c43d091fd71083cb481e665bacb2e78ec2a4b1b","sha256":"b24e19d4055957fccaacd37f3c43d091fd71083cb481e665bacb2e78ec2a4b1b"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:c26756474e5e042aadd67188a4fe924b82e12537b7df11f872b9d744caf6d26d","sha256":"c26756474e5e042aadd67188a4fe924b82e12537b7df11f872b9d744caf6d26d"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:e7e06b93ba0e65360832c4e173e99e8e3d229737e2145c45f6b41981117c983c","sha256":"e7e06b93ba0e65360832c4e173e99e8e3d229737e2145c45f6b41981117c983c"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:4da6358da95a555db8b23255ff05a400486d0766105adc71b776a605727a0dd0","sha256":"4da6358da95a555db8b23255ff05a400486d0766105adc71b776a605727a0dd0"},"arm64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:bd1c838fc77a473d01d9bfae5e310548e2904a77bc6cf454f846a6505694c5c5","sha256":"bd1c838fc77a473d01d9bfae5e310548e2904a77bc6cf454f846a6505694c5c5"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:2a3bf7dd15efa67287b47b5ee5f7befc999d6bc18ccf0c2b045b448260db2c02","sha256":"2a3bf7dd15efa67287b47b5ee5f7befc999d6bc18ccf0c2b045b448260db2c02"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["gmp"],"dependencies":["chezscheme"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"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":"2e84f2ff6500f17d1e5246bc35f5b83349fa0e7e","ruby_source_path":"Formula/i/idris2.rb","ruby_source_checksum":{"sha256":"fd17fb0483110d8ca38a5d6b0fd5433dcdb573ad62579faaae0b14c12bfb99cc"},"variations":{},"executables":["idris2"],"analytics":{"install":{"30d":{"idris2":118},"90d":{"idris2":237},"365d":{"idris2":768}},"install_on_request":{"30d":{"idris2":118},"90d":{"idris2":237},"365d":{"idris2":768}},"build_error":{"30d":{"idris2":0}}},
"generated_date":"2026-06-07"}