{"name":"rocq","full_name":"rocq","tap":"homebrew/core","oldnames":["coq"],"aliases":[],"versioned_formulae":[],"desc":"Proof assistant for higher-order logic","license":"LGPL-2.1-only","homepage":"https://rocq-prover.org/","versions":{"stable":"9.1.1","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/rocq-prover/rocq/releases/download/V9.1.1/rocq-9.1.1.tar.gz","tag":null,"revision":null,"using":null,"checksum":"35cd03fc4193969b1cce01190340e5c129c1ba8f02242a9e6dff4b83be118759"},"head":{"url":"https://github.com/rocq-prover/rocq.git","branch":"master","using":null}},"revision":1,"version_scheme":0,"compatibility_version":1,"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":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq/blobs/sha256:115c48fed35576b8543ee131ce2e7d76aacbaf41bf26ba748da6e91318ac47e6","sha256":"115c48fed35576b8543ee131ce2e7d76aacbaf41bf26ba748da6e91318ac47e6"},"arm64_sequoia":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq/blobs/sha256:6189d339f699d4741e897e3dd72b5e1b3166882cb5f8daaa0ee1e51577a98c95","sha256":"6189d339f699d4741e897e3dd72b5e1b3166882cb5f8daaa0ee1e51577a98c95"},"arm64_sonoma":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq/blobs/sha256:00d13e12440801af1ca6c5511d1d25ed42aced5b2bb42156ad115add4abfb76e","sha256":"00d13e12440801af1ca6c5511d1d25ed42aced5b2bb42156ad115add4abfb76e"},"sonoma":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq/blobs/sha256:d8cc0cb44561d73766ce10cdc1bdf105d07f98d0ba1cc478ea97d199500e4da3","sha256":"d8cc0cb44561d73766ce10cdc1bdf105d07f98d0ba1cc478ea97d199500e4da3"},"arm64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq/blobs/sha256:0444ebaece6e0db5bff8c49dccdff11aeda920b641f5bef478ee54a667f7f59b","sha256":"0444ebaece6e0db5bff8c49dccdff11aeda920b641f5bef478ee54a667f7f59b"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq/blobs/sha256:d260c686d4408133e018b5035683bd963f4b0844af66f9890307929965f908b1","sha256":"d260c686d4408133e018b5035683bd963f4b0844af66f9890307929965f908b1"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["dune"],"dependencies":["gmp","ocaml","ocaml-findlib","ocaml-zarith"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[{"m4":"build"},{"unzip":"build"}],"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":"b46b4da2ad96bc7ea9886ccc99845a98486c385d","ruby_source_path":"Formula/r/rocq.rb","ruby_source_checksum":{"sha256":"c32240835798b24ad469d92622483e142f7dd13798abe68e6ab5968c7c868581"},"variations":{},"analytics":{"install":{"30d":{"rocq":105},"90d":{"rocq":515},"365d":{"rocq":1523}},"install_on_request":{"30d":{"rocq":103},"90d":{"rocq":481},"365d":{"rocq":1421}},"build_error":{"30d":{"rocq":5}}},
"generated_date":"2026-04-28"}