diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,9 +1,13 @@
-# 0.1.0.0
+# 0.2.0.1 (2023-03-12)
 
-Initial version.
+* Fix build on GHC 9.4 and 9.6 by adding `UndecidableInstances`.
 
-# 0.2.0
+# 0.2.0 (2021-10-11)
 
 * Add a type role for `Fin`, which was formerly `Coercible` in unsafe ways.
 * Fix the `Read` instance erroring on out-of-range values; it now merely fails.
 * Add `Attenuable` instances for `attenuation-0.2.0`.
+
+# 0.1.0.0 (2021-09-07)
+
+Initial version.
diff --git a/fin-int.cabal b/fin-int.cabal
--- a/fin-int.cabal
+++ b/fin-int.cabal
@@ -1,22 +1,22 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.4.
+-- This file has been generated from package.yaml by hpack version 0.35.1.
 --
 -- see: https://github.com/sol/hpack
 
 name:           fin-int
-version:        0.2.0
+version:        0.2.0.1
 synopsis:       Finite sets of static size
 description:    This provides a newtype @Fin@ containing an @Int@ with an invariant that
                 its value is less than its type-level @Nat@ bound.  It aims to have low
                 overhead compared to @Int@s, and is suitable for use as the index type of
                 length-indexed vectors.
 category:       Data
-homepage:       https://github.com/google/hs-fin-vec#readme
-bug-reports:    https://github.com/google/hs-fin-vec/issues
+homepage:       https://github.com/awpr/fin-vec#readme
+bug-reports:    https://github.com/awpr/fin-vec/issues
 author:         Lennart Augustsson <lennart@augustsson.net>
-maintainer:     Andrew Pritchard <awpr@google.com>
-copyright:      2017-2021 Google LLC
+maintainer:     Andrew Pritchard <awpritchard@gmail.com>
+copyright:      2017-2021 Google LLC; 2022 Andrew Pritchard
 license:        Apache-2.0
 license-file:   LICENSE
 build-type:     Simple
@@ -26,7 +26,7 @@
 
 source-repository head
   type: git
-  location: https://github.com/google/hs-fin-vec
+  location: https://github.com/awpr/fin-vec
   subdir: fin-int
 
 library
@@ -38,10 +38,10 @@
   build-depends:
       QuickCheck >=2.5 && <2.15
     , attenuation >=0.1 && <0.3
-    , base >=4.12 && <4.16
+    , base >=4.12 && <4.19
     , data-default-class >=0.0 && <0.2
     , deepseq >=1.1 && <1.5
-    , portray >=0.1 && <0.3
+    , portray >=0.1 && <0.4
     , portray-diff ==0.1.*
-    , sint ==0.1.*
+    , sint >=0.1 && <0.3
   default-language: Haskell2010
diff --git a/src/Data/Fin/Int/Explicit.hs b/src/Data/Fin/Int/Explicit.hs
--- a/src/Data/Fin/Int/Explicit.hs
+++ b/src/Data/Fin/Int/Explicit.hs
@@ -1,4 +1,5 @@
 -- Copyright 2017-2021 Google LLC
+-- Copyright 2022 Andrew Pritchard
 --
 -- Licensed under the Apache License, Version 2.0 (the "License");
 -- you may not use this file except in compliance with the License.
@@ -29,6 +30,7 @@
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE UndecidableInstances #-}
 {-# LANGUAGE ViewPatterns #-}
 
 -- | Finite natural numbers, with upper bound as part of the type.