diff --git a/Library/Homebrew/utils/shared_audits.rb b/Library/Homebrew/utils/shared_audits.rb
index 6e4489b2c7..0feffa668f 100644
--- a/Library/Homebrew/utils/shared_audits.rb
+++ b/Library/Homebrew/utils/shared_audits.rb
@@ -29,7 +29,6 @@ module SharedAudits
 
   GITHUB_PRERELEASE_ALLOWLIST = {
     "amd-power-gadget" => :all,
-    "cbmc"             => "5.12.6",
     "elm-format"       => "0.8.3",
     "gitless"          => "0.8.8",
     "infrakit"         => "0.5",