{"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.6.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/math-comp/math-comp/archive/refs/tags/mathcomp-2.6.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253"},"head":{"url":"https://github.com/math-comp/math-comp.git","branch":"master","using":null}},"patches":[],"revision":1,"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:21e9e7480afaa9c098932b5794bd3b487a2570cee29cf478b0e5e23105b1ea5a","sha256":"21e9e7480afaa9c098932b5794bd3b487a2570cee29cf478b0e5e23105b1ea5a"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:dda55fe838513b5f9b615611b300a461a45eca72f6ff8bf984cf869af6501b95","sha256":"dda55fe838513b5f9b615611b300a461a45eca72f6ff8bf984cf869af6501b95"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:0de55a7a7a391bcba56a0909794f3e3da851c6b1affb2bbdb5d174e9ad4ebdf4","sha256":"0de55a7a7a391bcba56a0909794f3e3da851c6b1affb2bbdb5d174e9ad4ebdf4"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:f8716d5848e8bc4062523d0b5cde475202c1727b2bc4696abc4a95ac25904400","sha256":"f8716d5848e8bc4062523d0b5cde475202c1727b2bc4696abc4a95ac25904400"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:c03ecf5729060372140d6af54f22b41f6d3b9d66ddfaa479c660559f8d9711f9","sha256":"c03ecf5729060372140d6af54f22b41f6d3b9d66ddfaa479c660559f8d9711f9"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:3ab0a53f30d164f0d3317e39343a9e948fbcdecbcd380eea1e5e96e57c1df394","sha256":"3ab0a53f30d164f0d3317e39343a9e948fbcdecbcd380eea1e5e96e57c1df394"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["ocaml","ocaml-findlib"],"dependencies":["hierarchy-builder","rocq","rocq-elpi","rocq-micromega-plugin"],"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":"8182d8f0d5437f247260595bc04715bf8d3455df","ruby_source_path":"Formula/m/math-comp.rb","ruby_source_checksum":{"sha256":"10a4a28b0d4dcdb3f3052625d62f2173476c8f0e5abc3451aecaf2222702648d"},"variations":{},"executables":[],"analytics":{"install":{"30d":{"math-comp":23},"90d":{"math-comp":134},"365d":{"math-comp":411}},"install_on_request":{"30d":{"math-comp":23},"90d":{"math-comp":134},"365d":{"math-comp":411}},"build_error":{"30d":{"math-comp":0}}},
"generated_date":"2026-08-17"}