diff --git a/kani-dependencies b/kani-dependencies
index 43a3bdabd16..b9ea3a2fa8a 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,5 +1,5 @@
 CBMC_MAJOR="6"
-CBMC_MINOR="10"
-CBMC_VERSION="6.10.0"
+CBMC_MINOR="11"
+CBMC_VERSION="6.11.0"
 
 KISSAT_VERSION="4.0.1"