{"name":"mathlibtools","full_name":"mathlibtools","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Lean prover mathlib supporting tools","license":"Apache-2.0","homepage":"https://pypi.org/project/mathlibtools","versions":{"stable":"1.3.2","head":null,"bottle":true},"urls":{"stable":{"url":"https://files.pythonhosted.org/packages/ae/6a/815d7f65dc853973b13be082fefe797074e633407ef1262a62bc0be84203/mathlibtools-1.3.2.tar.gz","tag":null,"revision":null,"using":null,"checksum":"9a49f4cb7355fda72792a5738bcc5df927b1e102efc719adfbe16db199a0ac6b"}},"revision":5,"version_scheme":0,"bottle":{"stable":{"rebuild":2,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/mathlibtools/blobs/sha256:5c30b6bd959cec65f56d140dff795e4f6d139b2c0b9bb35e4d964378d810b729","sha256":"5c30b6bd959cec65f56d140dff795e4f6d139b2c0b9bb35e4d964378d810b729"},"arm64_ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/mathlibtools/blobs/sha256:e7b4098b3b86e02c75fe7b9eb1d3e1233d8d941aba977e703d2a27a1e0d7c3d2","sha256":"e7b4098b3b86e02c75fe7b9eb1d3e1233d8d941aba977e703d2a27a1e0d7c3d2"},"arm64_monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/mathlibtools/blobs/sha256:3ca76a75c8f500659d6717edbf8920b4a98a3232b4571852c1024cde7b7cd5f5","sha256":"3ca76a75c8f500659d6717edbf8920b4a98a3232b4571852c1024cde7b7cd5f5"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/mathlibtools/blobs/sha256:524e34d53bb6d589d02b9dc8fdb364786593a3731b07eaa139d2c4fdf0381c86","sha256":"524e34d53bb6d589d02b9dc8fdb364786593a3731b07eaa139d2c4fdf0381c86"},"ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/mathlibtools/blobs/sha256:6fb10a6aca23e710cf3bdab9ae2d72dd13ff614910d14a1cd9edebeb402b4e66","sha256":"6fb10a6aca23e710cf3bdab9ae2d72dd13ff614910d14a1cd9edebeb402b4e66"},"monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/mathlibtools/blobs/sha256:7b62c45d6c24e66b8659f246fec6f92bde2d75785d2370deaccb047d95dbfa95","sha256":"7b62c45d6c24e66b8659f246fec6f92bde2d75785d2370deaccb047d95dbfa95"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/mathlibtools/blobs/sha256:749aa46ceb3aaf5e592562d7f952384543f65702848507e613b07684ce75d12d","sha256":"749aa46ceb3aaf5e592562d7f952384543f65702848507e613b07684ce75d12d"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"dependencies":["certifi","cryptography","libyaml","python@3.12"],"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":true,"deprecation_date":"2023-09-04","deprecation_reason":"repo_archived","disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"8e99417b09acd7f3421aa539732f85107f6f64ff","ruby_source_path":"Formula/m/mathlibtools.rb","ruby_source_checksum":{"sha256":"0af5a84b4f3f24afc95053f6be94768e5232d018699a3d7ede24860d34a67d91"},"variations":{},"analytics":{"install":{"30d":{"mathlibtools":35},"90d":{"mathlibtools":126},"365d":{"mathlibtools":1236,"mathlibtools --HEAD":3}},"install_on_request":{"30d":{"mathlibtools":35},"90d":{"mathlibtools":126},"365d":{"mathlibtools":1236,"mathlibtools --HEAD":3}},"build_error":{"30d":{"mathlibtools":0}}},
"generated_date":"2024-05-13"}