diff --git a/cabal.GHC-8.10.7.config b/cabal.GHC-8.10.7.config
index 606ffdc455..84f07b3765 100644
--- a/cabal.GHC-8.10.7.config
+++ b/cabal.GHC-8.10.7.config
@@ -1,5 +1,6 @@
 active-repositories: hackage.haskell.org:merge
-constraints: any.Cabal ==3.2.1.0,
+constraints: any.BoundedChan ==1.0.3.0,
+             any.Cabal ==3.2.1.0,
              any.Glob ==0.10.2,
              any.GraphSCC ==1.0.4,
              GraphSCC -use-maps,
@@ -248,6 +249,7 @@ constraints: any.Cabal ==3.2.1.0,
              optparse-applicative +process,
              any.optparse-simple ==0.1.1.4,
              optparse-simple -build-example,
+             any.ordered-containers ==0.2.3,
              any.panic ==0.4.0.1,
              any.parallel ==3.2.2.0,
              parameterized-utils +unsafe-operations,
@@ -284,7 +286,7 @@ constraints: any.Cabal ==3.2.1.0,
              s-cargot -build-example,
              any.safe ==0.3.19,
              any.safe-exceptions ==0.1.7.3,
-             any.sbv ==9.0,
+             any.sbv ==9.2,
              any.scientific ==0.3.7.0,
              scientific -bytestring-builder -integer-simple,
              any.scotty ==0.12.1,
@@ -329,7 +331,7 @@ constraints: any.Cabal ==3.2.1.0,
              any.tasty-hunit ==0.10.0.3,
              any.tasty-quickcheck ==0.10.2,
              any.tasty-smallcheck ==0.8.2,
-             any.tasty-sugar ==1.3.0.2,
+             any.tasty-sugar ==2.0.1.0,
              any.template-haskell ==2.16.0.0,
              any.temporary ==1.3,
              any.terminal-size ==0.3.3,
diff --git a/cabal.GHC-8.8.4.config b/cabal.GHC-8.8.4.config
index 316e457bfd..e2415ba6fc 100644
--- a/cabal.GHC-8.8.4.config
+++ b/cabal.GHC-8.8.4.config
@@ -1,5 +1,6 @@
 active-repositories: hackage.haskell.org:merge
-constraints: any.Cabal ==3.0.1.0,
+constraints: any.BoundedChan ==1.0.3.0,
+             any.Cabal ==3.0.1.0,
              any.Glob ==0.10.2,
              any.GraphSCC ==1.0.4,
              GraphSCC -use-maps,
@@ -249,6 +250,7 @@ constraints: any.Cabal ==3.0.1.0,
              optparse-applicative +process,
              any.optparse-simple ==0.1.1.4,
              optparse-simple -build-example,
+             any.ordered-containers ==0.2.3,
              any.panic ==0.4.0.1,
              any.parallel ==3.2.2.0,
              parameterized-utils +unsafe-operations,
@@ -285,7 +287,7 @@ constraints: any.Cabal ==3.0.1.0,
              s-cargot -build-example,
              any.safe ==0.3.19,
              any.safe-exceptions ==0.1.7.3,
-             any.sbv ==9.0,
+             any.sbv ==9.2,
              any.scientific ==0.3.7.0,
              scientific -bytestring-builder -integer-simple,
              any.scotty ==0.12.1,
@@ -330,7 +332,7 @@ constraints: any.Cabal ==3.0.1.0,
              any.tasty-hunit ==0.10.0.3,
              any.tasty-quickcheck ==0.10.2,
              any.tasty-smallcheck ==0.8.2,
-             any.tasty-sugar ==1.3.0.2,
+             any.tasty-sugar ==2.0.1.0,
              any.template-haskell ==2.15.0.0,
              any.temporary ==1.3,
              any.terminal-size ==0.3.3,
diff --git a/cabal.GHC-9.2.7.config b/cabal.GHC-9.2.7.config
index 738ac74284..461fe2cb89 100644
--- a/cabal.GHC-9.2.7.config
+++ b/cabal.GHC-9.2.7.config
@@ -1,5 +1,6 @@
 active-repositories: hackage.haskell.org:merge
-constraints: any.Cabal ==3.6.3.0,
+constraints: any.BoundedChan ==1.0.3.0,
+             any.Cabal ==3.6.3.0,
              any.Glob ==0.10.2,
              any.GraphSCC ==1.0.4,
              GraphSCC -use-maps,
@@ -249,6 +250,7 @@ constraints: any.Cabal ==3.6.3.0,
              optparse-applicative +process,
              any.optparse-simple ==0.1.1.4,
              optparse-simple -build-example,
+             any.ordered-containers ==0.2.3,
              any.panic ==0.4.0.1,
              any.parallel ==3.2.2.0,
              parameterized-utils +unsafe-operations,
@@ -285,7 +287,7 @@ constraints: any.Cabal ==3.6.3.0,
              s-cargot -build-example,
              any.safe ==0.3.19,
              any.safe-exceptions ==0.1.7.3,
-             any.sbv ==9.0,
+             any.sbv ==9.2,
              any.scientific ==0.3.7.0,
              scientific -bytestring-builder -integer-simple,
              any.scotty ==0.12.1,
@@ -330,7 +332,7 @@ constraints: any.Cabal ==3.6.3.0,
              any.tasty-hunit ==0.10.0.3,
              any.tasty-quickcheck ==0.10.2,
              any.tasty-smallcheck ==0.8.2,
-             any.tasty-sugar ==1.3.0.2,
+             any.tasty-sugar ==2.0.1.0,
              any.template-haskell ==2.18.0.0,
              any.temporary ==1.3,
              any.terminal-size ==0.3.3,