fixup! Add formula for 6.1.0

diffblue · Jul 23, 2024 · d1ecd34 · d1ecd34
1 parent 2a31363
commit d1ecd34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Formula/[email protected] b/Formula/[email protected]
@@ -1,4 +1,4 @@
-class CbmcAT601 < Formula
+class CbmcAT610 < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",