diff --git a/cabal.project b/cabal.project
index 8cde6c6afc..780ad0c2ab 100644
--- a/cabal.project
+++ b/cabal.project
@@ -15,7 +15,7 @@ write-ghc-environment-files: always
 -- index state, to go along with the cabal.project.freeze file. update the index
 -- state by running `cabal update` twice and looking at the index state it
 -- displays to you (as the second update will be a no-op)
-index-state: 2025-07-19T09:09:36Z
+index-state: 2025-12-03T17:19:16Z
 
 -- For some reason the `clash-testsuite` executable fails to run without
 -- this, as it cannot find the related library...
diff --git a/clash-ghc/clash-ghc.cabal b/clash-ghc/clash-ghc.cabal
index 4e9965d762..4db65e6bad 100644
--- a/clash-ghc/clash-ghc.cabal
+++ b/clash-ghc/clash-ghc.cabal
@@ -170,9 +170,9 @@ library
 
                       clash-lib                 == 1.9.0,
                       clash-prelude             == 1.9.0,
-                      ghc-typelits-extra        >= 0.3.2    && < 0.5,
-                      ghc-typelits-knownnat     >= 0.6      && < 0.8,
-                      ghc-typelits-natnormalise >= 0.6      && < 0.8,
+                      ghc-typelits-extra        >= 0.3.2    && < 0.6,
+                      ghc-typelits-knownnat     >= 0.6      && < 0.9,
+                      ghc-typelits-natnormalise >= 0.6      && < 0.10,
                       deepseq                   >= 1.3.0.2  && < 1.6,
                       time                      >= 1.4.0.1  && < 1.15,
                       ghc-boot                  >= 8.10.0   && < 9.11,
diff --git a/clash-lib-hedgehog/clash-lib-hedgehog.cabal b/clash-lib-hedgehog/clash-lib-hedgehog.cabal
index b62a101c34..a08e75826a 100644
--- a/clash-lib-hedgehog/clash-lib-hedgehog.cabal
+++ b/clash-lib-hedgehog/clash-lib-hedgehog.cabal
@@ -52,8 +52,8 @@ library
     containers                >= 0.5.0.0 && < 0.8,
     data-binary-ieee754       >= 0.4.4   && < 0.6,
     fakedata                  >= 1.0.2   && < 1.1,
-    ghc-typelits-knownnat     >= 0.7.2   && < 0.8,
-    ghc-typelits-natnormalise >= 0.7.2   && < 0.8,
+    ghc-typelits-knownnat     >= 0.7.2   && < 0.9,
+    ghc-typelits-natnormalise >= 0.7.2   && < 0.10,
     hedgehog-fakedata         >= 0.0.1.4 && < 0.1,
     mmorph                    >= 1.1.5   && < 1.3,
     mtl                       >= 2.1.2   && < 2.4,
diff --git a/clash-prelude-hedgehog/clash-prelude-hedgehog.cabal b/clash-prelude-hedgehog/clash-prelude-hedgehog.cabal
index d3fe0da368..74af433125 100644
--- a/clash-prelude-hedgehog/clash-prelude-hedgehog.cabal
+++ b/clash-prelude-hedgehog/clash-prelude-hedgehog.cabal
@@ -49,8 +49,8 @@ library
     Clash.Hedgehog.Sized.Vector
 
   build-depends:
-    ghc-typelits-knownnat     >= 0.7.2   && < 0.8,
-    ghc-typelits-natnormalise >= 0.7.2   && < 0.8,
+    ghc-typelits-knownnat     >= 0.7.2   && < 0.9,
+    ghc-typelits-natnormalise >= 0.7.2   && < 0.10,
     text                      >= 1.2.2   && < 2.2,
 
     clash-prelude             == 1.9.0,
diff --git a/clash-prelude/clash-prelude.cabal b/clash-prelude/clash-prelude.cabal
index ea96d94075..5a9c9c0b88 100644
--- a/clash-prelude/clash-prelude.cabal
+++ b/clash-prelude/clash-prelude.cabal
@@ -336,9 +336,9 @@ Library
                       distributive              >= 0.1     && < 1.0,
                       extra                     >= 1.6.17  && < 1.9,
                       ghc-prim                  >= 0.5.1.0 && < 0.13,
-                      ghc-typelits-extra        >= 0.4     && < 0.5,
-                      ghc-typelits-knownnat     >= 0.7.2   && < 0.8,
-                      ghc-typelits-natnormalise >= 0.7.2   && < 0.8,
+                      ghc-typelits-extra        >= 0.4     && < 0.6,
+                      ghc-typelits-knownnat     >= 0.7.2   && < 0.9,
+                      ghc-typelits-natnormalise >= 0.7.2   && < 0.10,
                       hashable                  >= 1.2.1.0  && < 1.6,
                       half                      >= 0.2.2.3 && < 1.0,
                       infinite-list           ^>= 0.1,