diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for crucible-symio
 
+## 0.2 -- 2025-11-09
+
+* Add support for GHC 9.10.1 and drop support for 9.4.8.
+
 ## 0.1.1 -- 2024-08-30
 
 * Add support for GHC 9.8
diff --git a/crucible-symio.cabal b/crucible-symio.cabal
--- a/crucible-symio.cabal
+++ b/crucible-symio.cabal
@@ -6,14 +6,14 @@
   reading and writing symbolic data. An example use case would be to support verifying
   programs that e.g., use configuration files or accept input from files.
 name:                crucible-symio
-version:             0.1.1
+version:             0.2.0.0
 license:             BSD-3-Clause
 license-file:        LICENSE
 author:              Daniel Matichuk
 maintainer:          rscott@galois.com, kquick@galois.com, langston@galois.com
 build-type:          Simple
 category:            Language
-extra-source-files:  CHANGELOG.md
+extra-doc-files:  CHANGELOG.md
 
 source-repository head
   type:     git
@@ -21,7 +21,7 @@
   subdir:   crucible-symio
 
 common shared
-  build-depends:       base >=4.12 && <4.20,
+  build-depends:       base >=4.12 && <4.21,
                        aeson,
                        bv-sized,
                        bytestring,
@@ -63,7 +63,7 @@
   main-is: TestMain.hs
   hs-source-dirs: tests, src
   ghc-options: -Wall -Wcompat
-  build-depends: base >=4.12 && <4.20,
+  build-depends: base >=4.12 && <4.21,
                  what4,
                  crucible,
                  crucible-symio,
diff --git a/tests/TestMain.hs b/tests/TestMain.hs
--- a/tests/TestMain.hs
+++ b/tests/TestMain.hs
@@ -21,7 +21,7 @@
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE LambdaCase #-}
 
-module Main where
+module Main (main) where
 
 import           GHC.TypeNats
 import           Control.Lens ( (^.) )
@@ -158,7 +158,7 @@
 showAbortedResult :: CS.AbortedResult c d -> String
 showAbortedResult ar = case ar of
   CS.AbortedExec reason _ -> show reason
-  CS.AbortedExit code -> show code
+  CS.AbortedExit code _ -> show code
   CS.AbortedBranch _ _ res' res'' -> "BRANCH: " <> showAbortedResult res' <> "\n" <> showAbortedResult res''
 
 data FSTest (wptr :: Nat)   where