diff --git a/kani-dependencies b/kani-dependencies
index d12d30e1a95..b325584a4f9 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,5 +1,5 @@
 CBMC_MAJOR="6"
-CBMC_MINOR="7"
-CBMC_VERSION="6.7.1"
+CBMC_MINOR="8"
+CBMC_VERSION="6.8.0"
 
 KISSAT_VERSION="4.0.1"