diff --git a/kani-dependencies b/kani-dependencies
index 3d33bb69c486..ac6b353733a2 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -4,7 +4,7 @@ CBMC_VERSION="6.4.0"
 
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_MAJOR="3"
-CBMC_VIEWER_MINOR="9"
-CBMC_VIEWER_VERSION="3.9"
+CBMC_VIEWER_MINOR="10"
+CBMC_VIEWER_VERSION="3.10"
 
 KISSAT_VERSION="3.1.1"
diff --git a/src/setup.rs b/src/setup.rs
index eb1227269ccc..0901de9a8b00 100644
--- a/src/setup.rs
+++ b/src/setup.rs
@@ -189,7 +189,7 @@ fn setup_python_deps(kani_dir: &Path) -> Result<()> {
     let pyroot = kani_dir.join("pyroot");
 
     // TODO: this is a repetition of versions from kani/kani-dependencies
-    let pkg_versions = &["cbmc-viewer==3.9"];
+    let pkg_versions = &["cbmc-viewer==3.10"];
 
     Command::new("python3")
         .args(["-m", "pip", "install", "--target"])