{"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}},"patches":[],"revision":5,"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:8357b67379784056d5606adcbb012c24a6972894967835beaeeb47e7aafc61fc","sha256":"8357b67379784056d5606adcbb012c24a6972894967835beaeeb47e7aafc61fc"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:5f16379606e97bd95354c8524afd7dbbff369f957fe0857b0a400f89f27cc70b","sha256":"5f16379606e97bd95354c8524afd7dbbff369f957fe0857b0a400f89f27cc70b"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:4d7ef69b46fd63e86fe447dfcbde421f840ed79d84a893c50637951ae6f187fc","sha256":"4d7ef69b46fd63e86fe447dfcbde421f840ed79d84a893c50637951ae6f187fc"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:ba925b81bb93e4b12a4dcc293ba25c87fb7c186f250b17b7a9822f83aa1ce2f9","sha256":"ba925b81bb93e4b12a4dcc293ba25c87fb7c186f250b17b7a9822f83aa1ce2f9"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:b40dc7f611788a598d1e777b4cc4ca8f3928ffb5360fa7af39f03d8394700afd","sha256":"b40dc7f611788a598d1e777b4cc4ca8f3928ffb5360fa7af39f03d8394700afd"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/math-comp/blobs/sha256:7dbaf59ff86542eb7f377baac236ea3bec61cf86685714b99d4aee3facc86127","sha256":"7dbaf59ff86542eb7f377baac236ea3bec61cf86685714b99d4aee3facc86127"}}}},"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_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"2e84f2ff6500f17d1e5246bc35f5b83349fa0e7e","ruby_source_path":"Formula/m/math-comp.rb","ruby_source_checksum":{"sha256":"a4a2cba4b255f20fe685681416373f94c7fd4ac9bb8d513e91a37d11f57c0eaf"},"variations":{},"executables":[],"analytics":{"install":{"30d":{"math-comp":24},"90d":{"math-comp":83},"365d":{"math-comp":338}},"install_on_request":{"30d":{"math-comp":24},"90d":{"math-comp":83},"365d":{"math-comp":338}},"build_error":{"30d":{"math-comp":0}}},
"generated_date":"2026-06-07"}