acl2: update 8.4_1 bottle.

master
BrewTestBot 2022-06-01 09:10:08 +00:00
parent 3e54ced2b8
commit 731f12f5e8
No known key found for this signature in database
GPG Key ID: 82D7D104050B0F0F
1 changed files with 6 additions and 6 deletions

View File

@ -7,12 +7,12 @@ class Acl2 < Formula
revision 1
bottle do
sha256 arm64_monterey: "05fbeaf77f0eba50860cafd3a33539fc26b125c1e8839c0c0d07627d0016ae4b"
sha256 arm64_big_sur: "eb7c74961ddbf483f29f5c5077e32a906e6d3ca40b9bf94616fbf619fab1706a"
sha256 monterey: "981ffcee53f9b27768d25c675ff7054d6167e472b25464b8b863814757358c05"
sha256 big_sur: "bfdc87ec318de4ad791b7f36a0c8e5c60c49184a2f7da5bcb8a86506f3c40a10"
sha256 catalina: "5047132db95e89392bd15b7b8c0f7ff2374742f5b0a587e2489b2dd37a048f9d"
sha256 x86_64_linux: "72514be4dcc48b2cebc9671056a66f7006c584ff62120988cd6febe765f44b3e"
sha256 arm64_monterey: "8ae5843d76f779903854645a53c35b61fe796d8b11caf3fe415a640f815edb6f"
sha256 arm64_big_sur: "743c0e77ade1b6d63bbf77e7aa3836d24da387ed3a193cd643a1d3e78469ad46"
sha256 monterey: "3d67a21cc7284a17535c55c5768bfc3747f5f052682ded921e8746f2cf5b8964"
sha256 big_sur: "d5d341051774fa91ccb5c6c52cefaef85a74f10974c0ab53ef1bf7fc470c3c39"
sha256 catalina: "72d322a7b8d02e48d5c67a45383ae1f4f64c6d7b94437ade47ec9a494be1b27f"
sha256 x86_64_linux: "b76b5d2e82941d0cba322eb758bf7dd7c3fd233ee57b19c38cef0b4cae51e064"
end
depends_on "sbcl"