diff --git a/CHANGES.markdown b/CHANGES.markdown
--- a/CHANGES.markdown
+++ b/CHANGES.markdown
@@ -1,7 +1,15 @@
+* 0.1.3.1 (19 Feb 2025)
+
+  Test with up through GHC 9.12
+
 * 0.1.3 (13 Feb 2021)
 
   Test with up through GHC 9.0
   Allow `tasty-1.4`
+
+  - r1: update homepage
+  - r2: allow `tasty-1.5` and `deepseq-1.5`; test on GHC 9.6
+  - r3: allow `tasty-quickcheck-0.11`
 
 * 0.1.2 (5 May 2020)
 
diff --git a/diagrams-solve.cabal b/diagrams-solve.cabal
--- a/diagrams-solve.cabal
+++ b/diagrams-solve.cabal
@@ -1,12 +1,12 @@
 name:                diagrams-solve
-version:             0.1.3
+version:             0.1.3.1
 synopsis:            Pure Haskell solver routines used by diagrams
 description:         Pure Haskell solver routines used by the diagrams
                      project.  Currently includes finding real roots
                      of low-degree (n < 5) polynomials, and solving
                      tridiagonal and cyclic tridiagonal linear
                      systems.
-homepage:            http://projects.haskell.org/diagrams
+homepage:            https://diagrams.github.io
 license:             BSD3
 license-file:        LICENSE
 author:              various
@@ -15,7 +15,7 @@
 build-type:          Simple
 extra-source-files:  README.markdown, CHANGES.markdown
 cabal-version:       >=1.10
-Tested-with:         GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3, GHC == 8.6.1, GHC == 8.8.1, GHC == 8.10.1
+Tested-with:         GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2 || ==9.10.1 || ==9.12.1
 Source-repository head
   type:     git
   location: http://github.com/diagrams/diagrams-solve.git
@@ -34,8 +34,8 @@
   hs-source-dirs: tests
   default-language:    Haskell2010
   build-depends:       base >= 4.2 && < 5.0,
-                       deepseq >= 1.3 && < 1.5,
+                       deepseq >= 1.3 && < 1.6,
                        diagrams-solve,
-                       tasty >= 0.10 && < 1.5,
+                       tasty >= 0.10 && < 1.6,
                        tasty-hunit >= 0.9.2 && < 0.11,
-                       tasty-quickcheck >= 0.8 && < 0.11
+                       tasty-quickcheck >= 0.8 && < 0.12