{"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}},"revision":0,"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:768acb8421fcfde56de83b7f36637ab31189a939bab606cb6084b04a2e63ec3e","sha256":"768acb8421fcfde56de83b7f36637ab31189a939bab606cb6084b04a2e63ec3e"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:05546943e537df2312e319a916b217a3e0683c353cb1dce499692c5250220201","sha256":"05546943e537df2312e319a916b217a3e0683c353cb1dce499692c5250220201"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:e31df26bcafb55dc49d8e547543981045a7f86d4bd9d8132bdf5eeb538147f52","sha256":"e31df26bcafb55dc49d8e547543981045a7f86d4bd9d8132bdf5eeb538147f52"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:9239b97ee3e0176d9d016f4dc1e194f0e25251bf403aa37776bac289092dcda3","sha256":"9239b97ee3e0176d9d016f4dc1e194f0e25251bf403aa37776bac289092dcda3"},"arm64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:d26d06c4c596187bf494e48afe507e9d036db5d5ba7d7de91c159fb661619dc5","sha256":"d26d06c4c596187bf494e48afe507e9d036db5d5ba7d7de91c159fb661619dc5"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/idris2/blobs/sha256:69e8edc3851beb8bfbd130453a8cb49831e443d7f16702c063cfae3ef032ddc3","sha256":"69e8edc3851beb8bfbd130453a8cb49831e443d7f16702c063cfae3ef032ddc3"}}}},"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_defined":false,"service":null,"tap_git_head":"e01c7ad6d10ba193cc4ad127a7282b5d2bdbbbd3","ruby_source_path":"Formula/i/idris2.rb","ruby_source_checksum":{"sha256":"34187a7f777bd68126937a50e35ea51ae54140787ffefb5b368588503a621407"},"variations":{},"analytics":{"install":{"30d":{"idris2":52},"90d":{"idris2":120},"365d":{"idris2":813}},"install_on_request":{"30d":{"idris2":52},"90d":{"idris2":120},"365d":{"idris2":813}},"build_error":{"30d":{"idris2":0}}},
"generated_date":"2026-04-28"}