{"name":"coq","full_name":"coq","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Proof assistant for higher-order logic","license":"LGPL-2.1-only","homepage":"https://coq.inria.fr/","versions":{"stable":"8.19.1","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/coq/coq/releases/download/V8.19.1/coq-8.19.1.tar.gz","tag":null,"revision":null,"using":null,"checksum":"1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674"},"head":{"url":"https://github.com/coq/coq.git","branch":"master","using":null}},"revision":0,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_sonoma":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/coq/blobs/sha256:a93180d61587f2b1de891d1e44209e3a6b4c3309358237a5c8ee51512b37e1ee","sha256":"a93180d61587f2b1de891d1e44209e3a6b4c3309358237a5c8ee51512b37e1ee"},"arm64_ventura":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/coq/blobs/sha256:64d2843a331221922ecb451d7fcf9e9452e11d6cafc989f7a72f5ddd5fb95731","sha256":"64d2843a331221922ecb451d7fcf9e9452e11d6cafc989f7a72f5ddd5fb95731"},"arm64_monterey":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/coq/blobs/sha256:dffe71678cacfc2a3b632e75eee1d5b1c7984bf9ddc2a4afe4e9df454709e782","sha256":"dffe71678cacfc2a3b632e75eee1d5b1c7984bf9ddc2a4afe4e9df454709e782"},"sonoma":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/coq/blobs/sha256:890818aa86192050cb0aef368a339653988bc473b526b9610b34487bac0668ff","sha256":"890818aa86192050cb0aef368a339653988bc473b526b9610b34487bac0668ff"},"ventura":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/coq/blobs/sha256:d6285f8393333c3e1b83f7948f25cbd4a939d0011d9f1783fb83602ddf98fda9","sha256":"d6285f8393333c3e1b83f7948f25cbd4a939d0011d9f1783fb83602ddf98fda9"},"monterey":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/coq/blobs/sha256:d417eff81ca483b9832493dba3f9e6653e5eea1b9fcffe1c645725edd2db48f3","sha256":"d417eff81ca483b9832493dba3f9e6653e5eea1b9fcffe1c645725edd2db48f3"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/coq/blobs/sha256:b9979855e4fe5fbca8ad5927c0fd06e041223ae252e148cf98e042106dd23708","sha256":"b9979855e4fe5fbca8ad5927c0fd06e041223ae252e148cf98e042106dd23708"}}}},"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,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"1f3d566233384a23bb46a72e93369d5d8026b75c","ruby_source_path":"Formula/c/coq.rb","ruby_source_checksum":{"sha256":"5fcd60e66972a15a3c6550ebdb21aaf1ef2d22624090bc809379c7902737c46f"},"variations":{},"analytics":{"install":{"30d":{"coq":105},"90d":{"coq":731,"coq --HEAD":2},"365d":{"coq":2102,"coq --HEAD":5}},"install_on_request":{"30d":{"coq":101},"90d":{"coq":710,"coq --HEAD":2},"365d":{"coq":2005,"coq --HEAD":5}},"build_error":{"30d":{"coq":5}}},
"generated_date":"2024-05-12"}