{"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"}},"revision":1,"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:5e71a151f1b20b4ac7ecc5e06c9e24230b3d56a8c9ac7c3e18772a489cdbac0f","sha256":"5e71a151f1b20b4ac7ecc5e06c9e24230b3d56a8c9ac7c3e18772a489cdbac0f"},"arm64_sequoia":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/acl2/blobs/sha256:47224d8da3c28dfcde6365d5567678d15191e810f893aadcab8b35e014be63e3","sha256":"47224d8da3c28dfcde6365d5567678d15191e810f893aadcab8b35e014be63e3"},"arm64_sonoma":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/acl2/blobs/sha256:90d2c2a503799b06c858978ba982846fd533b74fe527cc5e90a16b21ac0fd0d0","sha256":"90d2c2a503799b06c858978ba982846fd533b74fe527cc5e90a16b21ac0fd0d0"},"sonoma":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/acl2/blobs/sha256:09ae0bfbc2cfee944326ccf5428ec11b3ac62cac5b6ddd93cbc808fdb042d63b","sha256":"09ae0bfbc2cfee944326ccf5428ec11b3ac62cac5b6ddd93cbc808fdb042d63b"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/acl2/blobs/sha256:3d77079ea4ceeb15a54b560b55270b7760fdab18317bd06a87dacae099254f0d","sha256":"3d77079ea4ceeb15a54b560b55270b7760fdab18317bd06a87dacae099254f0d"}}}},"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_defined":false,"service":null,"tap_git_head":"e01c7ad6d10ba193cc4ad127a7282b5d2bdbbbd3","ruby_source_path":"Formula/a/acl2.rb","ruby_source_checksum":{"sha256":"4ca10947aed486eddc2af3dd4f68dd3133e7f693f2f895520125148bd06d2982"},"variations":{},"analytics":{"install":{"30d":{"acl2":48},"90d":{"acl2":130},"365d":{"acl2":544}},"install_on_request":{"30d":{"acl2":48},"90d":{"acl2":130},"365d":{"acl2":544}},"build_error":{"30d":{"acl2":2}}},
"generated_date":"2026-04-28"}