{"name":"math-comp","full_name":"math-comp","oldname":"ssreflect","aliases":["mathcomp","ssreflect"],"versioned_formulae":[],"desc":"Mathematical Components for the Coq proof assistant","license":"CECILL-B","homepage":"https://math-comp.github.io/math-comp/","versions":{"stable":"1.11.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/math-comp/math-comp/archive/mathcomp-1.11.0.tar.gz","tag":null,"revision":null}},"revision":1,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"cellar":":any_skip_relocation","prefix":"/home/linuxbrew/.linuxbrew","root_url":"https://linuxbrew.bintray.com/bottles","files":{"catalina":{"url":"https://linuxbrew.bintray.com/bottles/math-comp-1.11.0_1.catalina.bottle.tar.gz","sha256":"edb89d858da73c96db674081d8e4ae7928c1e8ba84aa6d1b094d8f3ecdf9e3da"},"mojave":{"url":"https://linuxbrew.bintray.com/bottles/math-comp-1.11.0_1.mojave.bottle.tar.gz","sha256":"909e8d31ba453c301dbb60429dbd34c762fc8e2d17429db26dede12baa7c78ed"},"high_sierra":{"url":"https://linuxbrew.bintray.com/bottles/math-comp-1.11.0_1.high_sierra.bottle.tar.gz","sha256":"60fbe12a151b31cedb075a81e352b63f130ee01e17b3ea47bc04430be006a9b5"},"x86_64_linux":{"url":"https://linuxbrew.bintray.com/bottles/math-comp-1.11.0_1.x86_64_linux.bottle.tar.gz","sha256":"8b5090791e08ed219e1f57fa0c10649940d3d35a842d2fb168748654f907a45a"}}}},"keg_only":false,"bottle_disabled":false,"options":[],"build_dependencies":["ocaml"],"dependencies":["coq"],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"requirements":[],"conflicts_with":[],"caveats":null,"installed":[],"linked_keg":null,"pinned":false,"outdated":false,"deprecated":false,"disabled":false,"analytics":{"install":{"30d":{"math-comp":0},"90d":{"math-comp":0},"365d":{"math-comp":2}},"install_on_request":{"30d":{"math-comp":0},"90d":{"math-comp":0},"365d":{"math-comp":2}},"build_error":{"30d":{"math-comp":0}}},"generated_date":"2020-09-19"}