diff --git a/debian/changelog b/debian/changelog
index 7d9b281..db31dc9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 cvc4 (1.8-3) UNRELEASED; urgency=medium
 
   * Fix FTBFS with bash 5.2 (Closes: #1020010)
+  * Fix FTBFS due to cryptominisat API changes by disabling cryptominisat
 
  -- Scott Talbert <swt@techie.net>  Mon, 17 Oct 2022 10:19:29 -0400
 
diff --git a/debian/control b/debian/control
index fc5fba8..d81d073 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,6 @@
                antlr3, libantlr3c-dev,
                libboost-thread-dev,
                libreadline-dev,
-               libcryptominisat5-dev,
                pkg-config,
                cxxtest,
                python3, python3-toml,
diff --git a/debian/rules b/debian/rules
index ae181f2..e5c89a1 100755
--- a/debian/rules
+++ b/debian/rules
@@ -25,7 +25,7 @@
 		-DENABLE_UNIT_TESTING=ON -DENABLE_BEST=ON           \
 		-DUSE_READLINE=ON -DUSE_PYTHON3=ON                  \
 		-DUSE_ABC=OFF -DUSE_CADICAL=OFF -DUSE_CLN=ON        \
-		-DUSE_CRYPTOMINISAT=ON -DUSE_KISSAT=OFF             \
+		-DUSE_CRYPTOMINISAT=OFF -DUSE_KISSAT=OFF            \
 		-DUSE_GLPK=OFF                                      \
 		-DCMAKE_BUILD_TYPE=Production