Update CBMC version to 5.95.1 (rust-lang#2844)

adpaco-aws · web-flow · commit 0941e3dabb19 · 2023-10-31T10:17:11.000-04:00
Update CBMC version to 5.95.1
diff --git a/kani-dependencies b/kani-dependencies
@@ -1,6 +1,6 @@
 CBMC_MAJOR="5"
-CBMC_MINOR="94"
-CBMC_VERSION="5.94.0"
+CBMC_MINOR="95"
+CBMC_VERSION="5.95.1"
 
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_MAJOR="3"
