acl2: update 8.6_6 bottle.

Author: BrewTestBot

Formula/a/acl2.rb

@@ -12,12 +12,12 @@ class Acl2 < Formula
   end
 
   bottle do
-    sha256 arm64_sequoia: "948b994db97b785fb9c3a9fb5392ba6b907c7842c759a8f1e6f97db35627b7ef"
-    sha256 arm64_sonoma:  "94e1bdd88263445bd76fa62a77236fff2d184d23bed1785e05eb1bfa0c984a41"
-    sha256 arm64_ventura: "c82b192da523199fb50f23d79fe99febbf49e4485f3c2ee04c60143a7a90d37d"
-    sha256 sonoma:        "0b8ea627aa6bbb9006d6fcbabdf86afd72c8c72bed9fdaaf60b5d1bd2723e6eb"
-    sha256 ventura:       "b8d1f036ee6b10402fd4d667d67d17a7ea7bce126217f7af7351edd40913fd97"
-    sha256 x86_64_linux:  "c1146e061adf30ebd28f87ba6b9903b864bd253942b546aa43e1b325e68fc5e8"
+    sha256 arm64_sequoia: "a0f0f0b6755424dab502b14568a4a1e197af0f48f90e0ad67e95b7de70ce8254"
+    sha256 arm64_sonoma:  "46d7a4f7d96774541afbe9e7e3552c931972eea85387f65a6db55923f4a0786c"
+    sha256 arm64_ventura: "a818308efafc422ff8bb9ee3fa2612062d56e13b6c1ad5db771750ca99b68669"
+    sha256 sonoma:        "b4e0848f54372cd7b6fb1f51f3fbb213110cb308825fc1506be5bde7cab9010e"
+    sha256 ventura:       "41f117ffdc8e0f43668eb6a3f64030c5863902ef97f5bb4245801c4016dc6b83"
+    sha256 x86_64_linux:  "6057ddc56db07ca4c2736d58252f27e46d472271a321336dc7a1647545f4ffb9"
   end
 
   depends_on "sbcl"