diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -16,6 +16,10 @@
 
 * Broadening range of text bounds.
 
-### 0.4.0.0 -- 2023-09-29
+## 0.4.0.0 -- 2023-10-10
 
-* Broadening range of base bounds.
+* Broadening range of base bounds.
+
+## 0.5.0.0 -- 2023-10-10
+
+* Better bounds
diff --git a/FiniteCategories.cabal b/FiniteCategories.cabal
--- a/FiniteCategories.cabal
+++ b/FiniteCategories.cabal
@@ -14,7 +14,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:            0.4.0.0
+version:            0.5.0.0
 
 -- A short (one-line) description of the package.
 synopsis: Finite categories and usual categorical constructions on them.
@@ -125,9 +125,9 @@
     other-extensions: MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances, FlexibleInstances
 
     -- Other library packages from which modules are imported.
-    build-depends:      base             >= 4.16.0.0 && < 4.19,
+    build-depends:      base             >= 4 && < 5,
                         random           >= 1.2.1 && < 1.3,
-                        WeakSets         >= 1.4.0.1 && < 1.4.0.2,
+                        WeakSets         >= 1.5.0.0 && < 1.6,
                         containers       >= 0.6.6.0 && < 0.7,
                         text             >= 1.0 && < 2.2,
                         filepath         >= 1.4.100.1 && < 1.5,
@@ -155,9 +155,9 @@
 
     -- Test dependencies.
     build-depends:      FiniteCategories,
-                        base             >=4.16.0.0 && < 4.19,
-                        random           >= 1.2.1 && < 1.3,
-                        WeakSets         >= 1.4.0.1 && < 1.4.0.2,
+                        base             >= 4 && < 5,
+                        random           >= 1.2.1 && < 2,
+                        WeakSets         >= 1.5 && < 1.6,
                         containers       >= 0.6.6.0 && < 0.7,
                         text             >= 1.0 && < 2.2,
                         filepath         >= 1.4.100.1 && < 1.5,