diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,11 +1,28 @@
 # Revision history for dependent-sum
 
+## 0.7.2.0 - 2022-12-22
+
+* Update to some-1.0.4.*
+
+## 0.7.1.1 - 2022-12-12
+
+* Support constraints-extras 0.4
+
+## 0.7.1.0 - 2020-03-25
+
+* Shift version bounds for `some` to 1.0.1.* versions.
+
+## 0.7.0.0 - 2020-03-24
+
+* Fix ChangeLog to include the breaking change in 0.6.2.1/0.6.2.2 and properly do *major* version bump to reflect the breaking change.
+
 ## 0.6.2.2 - 2020-03-23
 
 * Update GitHub repository in cabal metadata.
 
 ## 0.6.2.1 - 2020-03-21
 
+* (Breaking change) Removed modules `Data.GADT.Compare`, `Data.GADT.Show`, `Data.Some` and now re-export them from the `some` package. This forced some deprecations to be fully realized.
 * Update cabal meta-information (tested with GHC 8.8).
 
 ## 0.6.2.0 - 2019-08-04
diff --git a/dependent-sum.cabal b/dependent-sum.cabal
--- a/dependent-sum.cabal
+++ b/dependent-sum.cabal
@@ -1,5 +1,5 @@
 name:                   dependent-sum
-version:                0.6.2.2
+version:                0.7.2.0
 stability:              provisional
 
 cabal-version:          1.22
@@ -24,11 +24,11 @@
                         dependent sum types by using your own \"tag\"
                         types.
 
-tested-with:            GHC == 8.0.2,
-                        GHC == 8.2.2,
-                        GHC == 8.4.4,
-                        GHC == 8.6.5,
-                        GHC == 8.8.3
+tested-with:            GHC == 8.6.5,
+                        GHC == 8.8.4,
+                        GHC == 8.10.7,
+                        GHC == 9.0.1,
+                        GHC == 9.4.3
 
 extra-source-files:     ChangeLog.md
                       , examples/*.hs
@@ -46,10 +46,10 @@
                         Data.Some
   other-extensions:     PatternSynonyms
   build-depends:        base >= 4.9 && <5
-                      , constraints-extras >= 0.2 && < 0.4
+                      , constraints-extras >= 0.2 && < 0.5
 
   -- tight bounds, so re-exported API is versioned properly.
-  build-depends:        some >= 1.0.0.3 && <1.0.1
+  build-depends:        some >= 1.0.4 && < 1.0.5
 
   if impl(ghc >= 7.2)
     ghc-options:        -trust base