diff --git a/build-constraints.yaml b/build-constraints.yaml
index 45bcf85d..5d5cb17c 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2823,10 +2823,10 @@ packages:
         - haskell-tools-rewrite
         - haskell-tools-prettyprint
         - haskell-tools-refactor
-        - haskell-tools-demo
-        - haskell-tools-cli
-        - haskell-tools-daemon
-        - haskell-tools-debug
+        # - haskell-tools-demo # Cabal 2 via minisat-solver
+        # - haskell-tools-cli # Cabal 2 via minisat-solver
+        # - haskell-tools-daemon # Cabal 2 via minisat-solver
+        # - haskell-tools-debug # Cabal 2 via minisat-solver
 
     "David Fisher <ddf1991@gmail.com> @ddfisher":
         - socket-activation
@@ -3399,7 +3399,6 @@ packages:
         # Requires too-new or too-old Cabal
         - cabal2nix < 2.9 # Cabal >2.2
         - distribution-nixpkgs < 1.1.1 # Cabal >2.2
-        - haskell-tools-builtin-refactorings < 1.0.1.1 # via minisat-solver via easyrender, Cabal < 2
         - hackage-db < 2.0.1 # Cabal >2.2
 
         # Requires too-new base