{"name":"proof-general","full_name":"proof-general","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Emacs-based generic interface for theorem provers","license":"GPL-3.0-or-later","homepage":"https://proofgeneral.github.io","versions":{"stable":"4.5","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/ProofGeneral/PG/archive/refs/tags/v4.5.tar.gz","tag":null,"revision":null,"using":null,"checksum":"b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2"},"head":{"url":"https://github.com/ProofGeneral/PG.git","branch":"master","using":null}},"revision":0,"version_scheme":0,"compatibility_version":null,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":1,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_tahoe":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:4efbf2e4aacd72d00f58a2f6a0f0748790e44a22af1bf97543c29ce077c133de","sha256":"4efbf2e4aacd72d00f58a2f6a0f0748790e44a22af1bf97543c29ce077c133de"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:f0afc78703aed0f2cdd4ec47dc841b5bf2ecc69b52d7f4a1b3ef7c2189a127b4","sha256":"f0afc78703aed0f2cdd4ec47dc841b5bf2ecc69b52d7f4a1b3ef7c2189a127b4"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:b0c27f7ce047eac700c1aa07cf9a723b54f4bb0d2f62ee2375bde197a5434af9","sha256":"b0c27f7ce047eac700c1aa07cf9a723b54f4bb0d2f62ee2375bde197a5434af9"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402","sha256":"b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402","sha256":"b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402"},"arm64_big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402","sha256":"b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:4c7ea3668b2b0df4de8eb60962f128fdbb26fbf1c7f72511c67a707c3d0c833c","sha256":"4c7ea3668b2b0df4de8eb60962f128fdbb26fbf1c7f72511c67a707c3d0c833c"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:e0f721f16c2c5e2ffa6b7ef00595ab6bdbdeda815f00a04ca30d2df2cc474e8b","sha256":"e0f721f16c2c5e2ffa6b7ef00595ab6bdbdeda815f00a04ca30d2df2cc474e8b"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:e0f721f16c2c5e2ffa6b7ef00595ab6bdbdeda815f00a04ca30d2df2cc474e8b","sha256":"e0f721f16c2c5e2ffa6b7ef00595ab6bdbdeda815f00a04ca30d2df2cc474e8b"},"big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:e0f721f16c2c5e2ffa6b7ef00595ab6bdbdeda815f00a04ca30d2df2cc474e8b","sha256":"e0f721f16c2c5e2ffa6b7ef00595ab6bdbdeda815f00a04ca30d2df2cc474e8b"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:68fae82f1c9768c66e94b3a413a4b8c17ab7207629e1faf8645593a8bda8cfb5","sha256":"68fae82f1c9768c66e94b3a413a4b8c17ab7207629e1faf8645593a8bda8cfb5"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/proof-general/blobs/sha256:b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402","sha256":"b87a94e0c06c19d5d57aedd9a628b69a22d559cfd331f563dcb93c02b5f0a402"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["texi2html","texinfo"],"dependencies":["emacs"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"uses_from_macos_bounds":[],"requirements":[],"conflicts_with":[],"conflicts_with_reasons":[],"link_overwrite":[],"caveats":"HTML documentation is available in: $HOMEBREW_PREFIX/share/doc/proof-general\n","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":"e01c7ad6d10ba193cc4ad127a7282b5d2bdbbbd3","ruby_source_path":"Formula/p/proof-general.rb","ruby_source_checksum":{"sha256":"f25e225d998ccd84e1773a14a92afd2244c95e17f48a55e75362372f530eb0d2"},"variations":{},"analytics":{"install":{"30d":{"proof-general":3},"90d":{"proof-general":13},"365d":{"proof-general":91}},"install_on_request":{"30d":{"proof-general":3},"90d":{"proof-general":13},"365d":{"proof-general":91}},"build_error":{"30d":{"proof-general":0}}},
"generated_date":"2026-04-28"}