diff --git a/Formula/a/acl2.rb b/Formula/a/acl2.rb
index 3ea8aef5c92aa..6a2637f68f572 100644
--- a/Formula/a/acl2.rb
+++ b/Formula/a/acl2.rb
@@ -4,7 +4,7 @@ class Acl2 < Formula
   url "https://github.com/acl2/acl2/archive/refs/tags/8.6.tar.gz"
   sha256 "c2d73e66422901b3cc2a6f5a9ab50f5f3b1b4060cf9dc9148d076f3a8b957cf9"
   license "BSD-3-Clause"
-  revision 8
+  revision 9
 
   livecheck do
     url :stable
@@ -12,12 +12,12 @@ class Acl2 < Formula
   end
 
   bottle do
-    sha256 arm64_sequoia: "fabf7e97ef901f73b96a144bfc5081f8c75707f2e8e89c4d8dce02491656714f"
-    sha256 arm64_sonoma:  "1565cf00677469880bca077696c94e103ba5abbf1f910889f5b51c93003dbd65"
-    sha256 arm64_ventura: "69d6fcf7da40d8aefa032fc94bd7693f9d955e22d471ba60ee21321c060b4685"
-    sha256 sonoma:        "f1c77205cafba2ca400a8c4983eed28be584205a7471b3644920a8081298de9b"
-    sha256 ventura:       "95a37cece7e1434de49be8fa14ca98d332b6ad91d91d930f27e977ce62e9b898"
-    sha256 x86_64_linux:  "bd7bcfdd89b5322fd3c2d9e617e682feb42f12f1d1690337d4383f9609491320"
+    sha256 arm64_sequoia: "073848707280862ea6989156892024ef36608531ae91a5a8da6c43606ce1a82b"
+    sha256 arm64_sonoma:  "e993d60fad118b3ef9c0f342ee62de84932fbe363bc03257a9abcdc7030eceb6"
+    sha256 arm64_ventura: "5d5ca4120f7fba9d2b2db0de804fd569cc3664b848b3376b80c2e2b253a8b46d"
+    sha256 sonoma:        "bfbfb6a517dc5f8b2d4d140fce15f03e539bc05737ec25828516c7335407fcd3"
+    sha256 ventura:       "20116e3235de511e5ebda62810ac77c1c330ce1f267c107253cc194169d3d61a"
+    sha256 x86_64_linux:  "a4b5cb3f381a7ba995e85d0ac4b763b17aa21cc7a4dee9e57b017fe59e5577c7"
   end
 
   depends_on "sbcl"
diff --git a/Formula/m/maxima.rb b/Formula/m/maxima.rb
index 6c0df070d7b14..16a4a8ce1ece2 100644
--- a/Formula/m/maxima.rb
+++ b/Formula/m/maxima.rb
@@ -4,7 +4,7 @@ class Maxima < Formula
   url "https://downloads.sourceforge.net/project/maxima/Maxima-source/5.47.0-source/maxima-5.47.0.tar.gz"
   sha256 "9104021b24fd53e8c03a983509cb42e937a925e8c0c85c335d7709a14fd40f7a"
   license "GPL-2.0-only"
-  revision 22
+  revision 23
 
   livecheck do
     url :stable
@@ -14,11 +14,11 @@ class Maxima < Formula
   no_autobump! because: :requires_manual_review
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "bf1876cc3a45b25028c16b715370c966a5830b98644793802dff6436e3b269ca"
-    sha256 cellar: :any_skip_relocation, arm64_ventura: "2e5ab07dc958e30f74506ee83d32f86ab04cd1c92e041fc73395d212655d86dd"
-    sha256 cellar: :any_skip_relocation, sonoma:        "829b6a29bb35479309de652c018fb11320bfdef3e74f1a50a9ac36320af66465"
-    sha256 cellar: :any_skip_relocation, ventura:       "c97dccd468d2031ecae77282175055c10fc5074327f106d48776af8f72465316"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:  "f5073e6cd162f677cfec33d6b2b24159d9f14d3bc1ed38997c8b30ca3333de31"
+    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "1504157234aee064744b46329cc7ddbadbebc76531c96ec565fa3f6fcebbc6ff"
+    sha256 cellar: :any_skip_relocation, arm64_ventura: "55533e9b6bc22937b39f5767e18f94a8148d219a4551a79395fbf9b6b42920dc"
+    sha256 cellar: :any_skip_relocation, sonoma:        "3392051fbf077ddd9e5a40164e64964fe33e556696481f692ab471cf89fc82c9"
+    sha256 cellar: :any_skip_relocation, ventura:       "b30fdd46eec5609a4691b2b1a9827bf925a20b2fba786a5c730a7923b017803f"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:  "cfb2478d571e65e8e8bae71dfcfdbcbe6176a8a33fe12bdb63973f14ee841c48"
   end
 
   depends_on "gawk" => :build
diff --git a/Formula/o/ocicl.rb b/Formula/o/ocicl.rb
index 7def6e96f865a..81d41320a551a 100644
--- a/Formula/o/ocicl.rb
+++ b/Formula/o/ocicl.rb
@@ -4,15 +4,16 @@ class Ocicl < Formula
   url "https://github.com/ocicl/ocicl/archive/refs/tags/v2.6.3.tar.gz"
   sha256 "8b7f43e2b7d9abfe0c4920788fb8e2daeeac8855cd27800966af69f9c8de34ec"
   license "MIT"
+  revision 1
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_sequoia: "ed42f8511ece79850931d51e7a7b7b5aa8a61f438e092a12561d3eede875b26e"
-    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "2461431b98ca0a6320e8b9d58f875485a26f79cd60c9e2749412a76ab65f6313"
-    sha256 cellar: :any_skip_relocation, arm64_ventura: "f12952f65d5b2606f6e856b37376c493fa582988fc762218c7a71b951fe4a6d5"
-    sha256 cellar: :any_skip_relocation, sonoma:        "8d1e65d2b9efae488ecbd3b51f9dbea14e3e0448f23b2d4a352add4da9e06d18"
-    sha256 cellar: :any_skip_relocation, ventura:       "017a4dfb87f28ce0000d1493cc1a4b950ee18eb37448bb82c5e258aa82d54c9c"
-    sha256 cellar: :any_skip_relocation, arm64_linux:   "bf2287a660542da9d21944b658b155ddae1f6468fe7d416d2094c271448d4282"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:  "4a81263be501937bf18ceda32d8b9c269642a4d729179e0efc6d880035e76760"
+    sha256 cellar: :any_skip_relocation, arm64_sequoia: "c018cbf35036c6a3ce5d7f38cdb7d03a3fd5f5aca46edfef7346b55e3891da87"
+    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "9e96a99f4db86a2ac23a20776d6c8d05fe57468269ab40e60eb3cec2dfd3db60"
+    sha256 cellar: :any_skip_relocation, arm64_ventura: "5b44b0cc3008c1dc522ea1fe15079d4b2f9dd1f463d14f1a84d20166620f26d4"
+    sha256 cellar: :any_skip_relocation, sonoma:        "06cfae06a7adc2306775fb3c12084a4d96017e5ca545e4711354452b01fe3f75"
+    sha256 cellar: :any_skip_relocation, ventura:       "6a744921469b74e9b9f7ac4a18bf4640fdfafa2336495f7b00d559001f56b2d8"
+    sha256 cellar: :any_skip_relocation, arm64_linux:   "ae2db334f9f63861f62fb09146f42ccd6fad0d1587f6a64aedcd65011af91526"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:  "0e71f2a713a07e38afad58fe58171056bdd7accf26a53335d9c6c4e12a9360a9"
   end
 
   depends_on "sbcl"
diff --git a/Formula/s/sbcl.rb b/Formula/s/sbcl.rb
index 4874f86c70442..117766e113bbc 100644
--- a/Formula/s/sbcl.rb
+++ b/Formula/s/sbcl.rb
@@ -1,8 +1,8 @@
 class Sbcl < Formula
   desc "Steel Bank Common Lisp system"
   homepage "https://www.sbcl.org/"
-  url "https://downloads.sourceforge.net/project/sbcl/sbcl/2.5.5/sbcl-2.5.5-source.tar.bz2"
-  sha256 "6502670afb361ba9be44a2fafe9af9b59e7b24ae509a791a66b5481f2955950b"
+  url "https://downloads.sourceforge.net/project/sbcl/sbcl/2.5.6/sbcl-2.5.6-source.tar.bz2"
+  sha256 "6dd7cebff6d38f2e41baece14c4c56a32e968828aaa4171b8e840852c5b43f35"
   license all_of: [:public_domain, "MIT", "Xerox", "BSD-3-Clause"]
   head "https://git.code.sf.net/p/sbcl/sbcl.git", branch: "master"
 
@@ -11,13 +11,13 @@ class Sbcl < Formula
   end
 
   bottle do
-    sha256 cellar: :any,                 arm64_sequoia: "a13e85418e04ec670fd05b65ee0aeeb00872f0668a9b8a50aa6cd2a80562828e"
-    sha256 cellar: :any,                 arm64_sonoma:  "46eb31c5c8396de1ae2856206686ccf8433da507d5401d4672ffc156f2a7431d"
-    sha256 cellar: :any,                 arm64_ventura: "7a5412d2526fdab0a5a782859923a6c39a6d913012ae60ebbcea6b45d1b00e39"
-    sha256 cellar: :any,                 sonoma:        "1e692457b68edb6c4eb51676278735793c1235f4199e43e3944d32ba105e0bba"
-    sha256 cellar: :any,                 ventura:       "6d6c8f481636dfd831ba85898ec52d71632a7e53f0b2af389e6275053c6075b6"
-    sha256 cellar: :any_skip_relocation, arm64_linux:   "baa0db002ceb677a8c9cbefbc033310e9cb4c0f6bf9a1e8519debc343a67586c"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:  "7f388a2c5ca9c3ce036c41332b20626c5264b2a300870e66b811e2e08068363d"
+    sha256 cellar: :any,                 arm64_sequoia: "0b19b77a0ea43870a22b78be5924bd121bedb276a1e97cb8eb0725d66ef26f52"
+    sha256 cellar: :any,                 arm64_sonoma:  "3e30b1fd5db12bfcd9b7600645843165ec730855b6e31c276573246b103dca9f"
+    sha256 cellar: :any,                 arm64_ventura: "5bef3c393f46aa91482c75c8b8a012c0d1a65b0e132b04808310cae0f80c7ed5"
+    sha256 cellar: :any,                 sonoma:        "231846b45eae283d5df3201f5b65337fda927c7c57fc4700a6e2c65cc5700cc4"
+    sha256 cellar: :any,                 ventura:       "5ece0e93eb8fbb81976e8b9fc5d9f73ad09c5cf7466baa6dde9cb46caa0f3b6a"
+    sha256 cellar: :any_skip_relocation, arm64_linux:   "fec194d21dfbb6cb1aa4f8ada9e3861c789df854910a818d626c35093444d4fb"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:  "ac279fc16a9b480e72007abf563cda707db26a1abfb171eb4e9d09cee595a544"
   end
 
   depends_on "ecl" => :build