diff --git a/CHANGELOG.md b/CHANGELOG.md
index b8183b4..b121e6d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,4 +1,4 @@
-### next [????.??.??]
+### 0.9.6 [2024.12.30]
 * Require `singletons-base-3.5` and GHC 9.12.
 
 ### 0.9.5 [2024.05.12]
diff --git a/eliminators.cabal b/eliminators.cabal
index 83bf937..d2b6b46 100644
--- a/eliminators.cabal
+++ b/eliminators.cabal
@@ -1,5 +1,5 @@
 name:                eliminators
-version:             0.9.5
+version:             0.9.6
 synopsis:            Dependently typed elimination functions using singletons
 description:         This library provides eliminators for inductive data types,
                      leveraging the power of the @singletons@ library to allow