{"name":"math-comp","full_name":"math-comp","tap":"homebrew/core","oldnames":["ssreflect"],"aliases":["mathcomp"],"versioned_formulae":[],"desc":"Mathematical Components for the Coq proof assistant","license":"CECILL-B","homepage":"https://math-comp.github.io/math-comp/","versions":{"stable":"2.5.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/math-comp/math-comp/archive/refs/tags/mathcomp-2.5.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"3db2f4b1b7f9f5a12d3d0c4ba4e325a26a77712074200319660c0e67e25679f1"},"head":{"url":"https://github.com/math-comp/math-comp.git","branch":"master","using":null}},"revision":4,"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_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:03645172fd12fc8a419b3220cc5b868dbfd5ca1a8a36e9866b0a1479f37a4a18","sha256":"03645172fd12fc8a419b3220cc5b868dbfd5ca1a8a36e9866b0a1479f37a4a18"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:094a1eb55c62fd05623d5277b9b427d6f1809e458e4fd064844c12cf9b977ec7","sha256":"094a1eb55c62fd05623d5277b9b427d6f1809e458e4fd064844c12cf9b977ec7"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:f361bef7077775dbe45ca087dd332aec5727bb1c577549b9e373321241bfbb23","sha256":"f361bef7077775dbe45ca087dd332aec5727bb1c577549b9e373321241bfbb23"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:f1b7e1c3a77f020fecae846ff27843f89fb7eb3f86a52cf9c3d74790219ba80e","sha256":"f1b7e1c3a77f020fecae846ff27843f89fb7eb3f86a52cf9c3d74790219ba80e"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:562db5b63ed008ca669ffbadb7c3623ffa85a0857507302045f115222f1781d2","sha256":"562db5b63ed008ca669ffbadb7c3623ffa85a0857507302045f115222f1781d2"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:cdd53214167d5ec66265df1a429cf0d2914b01337d530147ef0cc0e5178b7613","sha256":"cdd53214167d5ec66265df1a429cf0d2914b01337d530147ef0cc0e5178b7613"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["ocaml","ocaml-findlib"],"dependencies":["hierarchy-builder","rocq","rocq-elpi"],"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/m/math-comp.rb","ruby_source_checksum":{"sha256":"87c496c574746fa5891e9164aadf2cf156b2d5cec9b5385d2e90c9d804f5bee6"},"variations":{},"analytics":{"install":{"30d":{"math-comp":8},"90d":{"math-comp":97},"365d":{"math-comp":348}},"install_on_request":{"30d":{"math-comp":8},"90d":{"math-comp":97},"365d":{"math-comp":348}},"build_error":{"30d":{"math-comp":9}}},
"generated_date":"2026-04-28"}