{"name":"acl2","full_name":"acl2","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Logic and programming language in which you can model computer systems","license":"BSD-3-Clause","homepage":"https://www.cs.utexas.edu/~moore/acl2/","versions":{"stable":"8.7","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/acl2/acl2/archive/refs/tags/8.7.tar.gz","tag":null,"revision":null,"using":null,"checksum":"d6013c22e190cbd702870d296b5370a068c14625bf7f9d305d2d87292b594d52"}},"patches":[],"revision":3,"version_scheme":0,"compatibility_version":null,"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/acl2/blobs/sha256:6559de7cf39d0c435ab09883b540b413698c4827e40d502dc6e37f6ad5a96062","sha256":"6559de7cf39d0c435ab09883b540b413698c4827e40d502dc6e37f6ad5a96062"},"arm64_sequoia":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/acl2/blobs/sha256:0fdd11e0379a2570626fbbd21b12349d25ee32b60fb662416d238506b8d45651","sha256":"0fdd11e0379a2570626fbbd21b12349d25ee32b60fb662416d238506b8d45651"},"arm64_sonoma":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/acl2/blobs/sha256:08f5122aee4b46a0e5f331ea2a0ec9db5a497fd3d5be0cd67926b96abb34279f","sha256":"08f5122aee4b46a0e5f331ea2a0ec9db5a497fd3d5be0cd67926b96abb34279f"},"sonoma":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/acl2/blobs/sha256:a3789e0a2c23a53eb647b7ff6636ca27e29befea018a08eb9fdda9e918983282","sha256":"a3789e0a2c23a53eb647b7ff6636ca27e29befea018a08eb9fdda9e918983282"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/acl2/blobs/sha256:e3e40ab5bb221f2deffde4678e142b6037c22938ef26d8adddfe0e1843b0cd60","sha256":"e3e40ab5bb221f2deffde4678e142b6037c22938ef26d8adddfe0e1843b0cd60"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"dependencies":["sbcl"],"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":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_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"2e84f2ff6500f17d1e5246bc35f5b83349fa0e7e","ruby_source_path":"Formula/a/acl2.rb","ruby_source_checksum":{"sha256":"a19596022b2aee2fc42d30bfc02ac74295efdbe1a71ce6a96c9eeac6541f0987"},"variations":{},"executables":["acl2","acl2p"],"analytics":{"install":{"30d":{"acl2":57},"90d":{"acl2":178},"365d":{"acl2":544}},"install_on_request":{"30d":{"acl2":57},"90d":{"acl2":178},"365d":{"acl2":544}},"build_error":{"30d":{"acl2":0}}},
"generated_date":"2026-06-07"}