diff --git a/ChasingBottoms.cabal b/ChasingBottoms.cabal
--- a/ChasingBottoms.cabal
+++ b/ChasingBottoms.cabal
@@ -1,8 +1,8 @@
 name:               ChasingBottoms
-version:            1.3.1.15
+version:            1.3.1.16
 license:            MIT
 license-file:       LICENCE
-copyright:          Copyright (c) Nils Anders Danielsson 2004-2022, 2024.
+copyright:          Copyright (c) Nils Anders Danielsson 2004-2022, 2024-2025.
 author:             Nils Anders Danielsson
 maintainer:         http://www.cse.chalmers.se/~nad/
 synopsis:           For testing partial and infinite values.
@@ -128,7 +128,8 @@
                     GHC == 9.4.8,
                     GHC == 9.6.6,
                     GHC == 9.8.2,
-                    GHC == 9.10.1
+                    GHC == 9.10.2,
+                    GHC == 9.12.2
 cabal-version:      >= 1.10
 build-type:         Simple
 
@@ -154,11 +155,11 @@
     if impl(ghc >= 7.4.1)
       ghc-options: -fpedantic-bottoms
 
-    build-depends: QuickCheck >= 2.10 && < 2.16,
+    build-depends: QuickCheck >= 2.10 && < 2.17,
                    mtl >= 2 && < 2.4,
-                   base >= 4.2 && < 4.21,
-                   containers >= 0.5 && < 0.8,
-                   random >= 1.0 && < 1.3,
+                   base >= 4.2 && < 4.22,
+                   containers >= 0.5 && < 0.9,
+                   random >= 1.0 && < 1.4,
                    syb >= 0.1.0.2 && < 0.8
 
 test-suite ChasingBottomsTestSuite
@@ -190,10 +191,10 @@
     if impl(ghc >= 7.4.1)
       ghc-options: -fpedantic-bottoms
 
-    build-depends: QuickCheck >= 2.10 && < 2.16,
+    build-depends: QuickCheck >= 2.10 && < 2.17,
                    mtl >= 2 && < 2.4,
-                   base >= 4.2 && < 4.21,
-                   containers >= 0.5 && < 0.8,
-                   random >= 1.0 && < 1.3,
+                   base >= 4.2 && < 4.22,
+                   containers >= 0.5 && < 0.9,
+                   random >= 1.0 && < 1.4,
                    syb >= 0.1.0.2 && < 0.8,
                    array >= 0.3 && < 0.6
diff --git a/Test/ChasingBottoms.hs b/Test/ChasingBottoms.hs
--- a/Test/ChasingBottoms.hs
+++ b/Test/ChasingBottoms.hs
@@ -1,6 +1,6 @@
 -- |
 -- Module      :  Test.ChasingBottoms
--- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024-2025
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/Approx.hs b/Test/ChasingBottoms/Approx.hs
--- a/Test/ChasingBottoms/Approx.hs
+++ b/Test/ChasingBottoms/Approx.hs
@@ -3,7 +3,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.Approx
--- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024-2025
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/ApproxShow.hs b/Test/ChasingBottoms/ApproxShow.hs
--- a/Test/ChasingBottoms/ApproxShow.hs
+++ b/Test/ChasingBottoms/ApproxShow.hs
@@ -3,7 +3,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.ApproxShow
--- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024-2025
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/IsBottom.hs b/Test/ChasingBottoms/IsBottom.hs
--- a/Test/ChasingBottoms/IsBottom.hs
+++ b/Test/ChasingBottoms/IsBottom.hs
@@ -5,7 +5,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.IsBottom
--- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024-2025
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/IsType.hs b/Test/ChasingBottoms/IsType.hs
--- a/Test/ChasingBottoms/IsType.hs
+++ b/Test/ChasingBottoms/IsType.hs
@@ -2,7 +2,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.IsType
--- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024-2025
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/Nat.hs b/Test/ChasingBottoms/Nat.hs
--- a/Test/ChasingBottoms/Nat.hs
+++ b/Test/ChasingBottoms/Nat.hs
@@ -2,7 +2,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.Nat
--- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024-2025
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/SemanticOrd.hs b/Test/ChasingBottoms/SemanticOrd.hs
--- a/Test/ChasingBottoms/SemanticOrd.hs
+++ b/Test/ChasingBottoms/SemanticOrd.hs
@@ -4,7 +4,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.SemanticOrd
--- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024-2025
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/
diff --git a/Test/ChasingBottoms/TimeOut.hs b/Test/ChasingBottoms/TimeOut.hs
--- a/Test/ChasingBottoms/TimeOut.hs
+++ b/Test/ChasingBottoms/TimeOut.hs
@@ -2,7 +2,7 @@
 
 -- |
 -- Module      :  Test.ChasingBottoms.TimeOut
--- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024
+-- Copyright   :  (c) Nils Anders Danielsson 2004-2022, 2024-2025
 -- License     :  See the file LICENCE.
 --
 -- Maintainer  :  http://www.cse.chalmers.se/~nad/