diff --git a/singletons-base/CHANGES.md b/singletons-base/CHANGES.md
index 0b22326c..f685da64 100644
--- a/singletons-base/CHANGES.md
+++ b/singletons-base/CHANGES.md
@@ -1,7 +1,7 @@
 Changelog for the `singletons-base` project
 ===========================================
 
-next [????.??.??]
+3.5 [????.??.??]
 -----------------
 * Remove the use of a custom `Setup.hs` script. This script has now been
   replaced with a [`cabal` code
diff --git a/singletons-base/singletons-base.cabal b/singletons-base/singletons-base.cabal
index 5b98a54e..c1f8020e 100644
--- a/singletons-base/singletons-base.cabal
+++ b/singletons-base/singletons-base.cabal
@@ -1,6 +1,6 @@
 cabal-version:  3.8
 name:           singletons-base
-version:        3.4
+version:        3.5
 synopsis:       A promoted and singled version of the base library
 homepage:       http://www.github.com/goldfirere/singletons
 category:       Dependent Types
@@ -70,8 +70,8 @@ library
   build-depends:      base             >= 4.20 && < 4.21,
                       pretty,
                       singletons       == 3.0.*,
-                      singletons-th    >= 3.4  && < 3.5,
-                      template-haskell >= 2.22 && < 2.23,
+                      singletons-th    >= 3.5 && < 3.6,
+                      template-haskell >= 2.22.1 && < 2.23,
                       text >= 1.2,
                       th-desugar       >= 1.18 && < 1.19
   default-language:   GHC2021
diff --git a/singletons-th/CHANGES.md b/singletons-th/CHANGES.md
index d6d65aa3..68c67763 100644
--- a/singletons-th/CHANGES.md
+++ b/singletons-th/CHANGES.md
@@ -1,8 +1,8 @@
 Changelog for the `singletons-th` project
 =========================================
 
-next [????.??.??]
------------------
+3.5 [????.??.??]
+----------------
 * Require building with `th-desugar-1.18` or later. Notably, `th-desugar-1.18`
   now desugars all lambda, `case`, and `\case` expressions to `\cases`
   expressions, and the same principle applies to the code that `singletons-th`
diff --git a/singletons-th/singletons-th.cabal b/singletons-th/singletons-th.cabal
index cd1e27b2..d6bb371e 100644
--- a/singletons-th/singletons-th.cabal
+++ b/singletons-th/singletons-th.cabal
@@ -1,5 +1,5 @@
 name:           singletons-th
-version:        3.4
+version:        3.5
 cabal-version:  1.24
 synopsis:       A framework for generating singleton types
 homepage:       http://www.github.com/goldfirere/singletons
diff --git a/singletons/CHANGES.md b/singletons/CHANGES.md
index 731fd944..b8279ab4 100644
--- a/singletons/CHANGES.md
+++ b/singletons/CHANGES.md
@@ -1,8 +1,8 @@
 Changelog for the `singletons` project
 ======================================
 
-next [????.??.??]
------------------
+3.0.4 [????.??.??]
+------------------
 * Define `Sing` instances such that they explicitly match on their types on the
   left-hand sides (e.g., define `type instance Sing @(k1 ~> k2) = SLambda`
   instead of `type instance Sing = SLambda`. Doing so will make `singletons`
diff --git a/singletons/singletons.cabal b/singletons/singletons.cabal
index 726cebf2..7632f081 100644
--- a/singletons/singletons.cabal
+++ b/singletons/singletons.cabal
@@ -1,5 +1,5 @@
 name:           singletons
-version:        3.0.3
+version:        3.0.4
 cabal-version:  1.24
 synopsis:       Basic singleton types and definitions
 homepage:       http://www.github.com/goldfirere/singletons