diff --git a/changelog b/changelog
new file mode 100644
--- /dev/null
+++ b/changelog
@@ -0,0 +1,5 @@
+1.3
+* DEPRECATED, use universe-some
+* Data.Universe.DependentSum re-exports Data.Universe.Some
+* Don't depend on dependent-sum, you should use dependent-sum >=0.7, which uses
+some package
diff --git a/src/Data/Universe/DependentSum.hs b/src/Data/Universe/DependentSum.hs
--- a/src/Data/Universe/DependentSum.hs
+++ b/src/Data/Universe/DependentSum.hs
@@ -1,45 +1,5 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE PackageImports #-}
-{-# LANGUAGE RankNTypes #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-module Data.Universe.DependentSum () where
-
-#if MIN_VERSION_dependent_sum(0,7,0)
+-- | This module re-exports "Data.Universe.Some" from @universe-some@ package.
+module Data.Universe.DependentSum
+{-# DEPRECATED "Use universe-some package directly" #-}
+() where
 import Data.Universe.Some ()
-#else
-
-
-import Data.Universe.Class (Universe (..), Finite (..))
-import Data.Universe.Some (UniverseSome (..), FiniteSome (..))
-import Data.Universe.Helpers (Tagged (..), Natural, (+++))
-
-import           "some"          Data.Some (Some (..), foldSome)
-import qualified "dependent-sum" Data.Some as DS
-
--------------------------------------------------------------------------------
--- Helpers
--------------------------------------------------------------------------------
-
-#if MIN_VERSION_dependent_sum(0,5,0)
-mkSome :: f a -> DS.Some f
-mkSome = DS.Some
-#else
-mkSome :: f a -> DS.Some f
-mkSome = DS.This
-#endif
-
--------------------------------------------------------------------------------
--- Instances for Some
--------------------------------------------------------------------------------
-
-instance UniverseSome f => Universe (DS.Some f) where
-  universe = map (foldSome mkSome) universeSome
-
-instance FiniteSome f => Finite (DS.Some f) where
-  universeF   = map (foldSome mkSome) universeFSome
-  cardinality = retagSome cardinalitySome
-
-retagSome :: Tagged (Some f) Natural -> Tagged (some f) Natural
-retagSome (Tagged n) = Tagged n
-
-#endif
diff --git a/universe-dependent-sum.cabal b/universe-dependent-sum.cabal
--- a/universe-dependent-sum.cabal
+++ b/universe-dependent-sum.cabal
@@ -1,6 +1,6 @@
-name:          universe-dependent-sum
-version:       1.2.0.1
-synopsis:      Universe instances for types from dependent-sum
+name:               universe-dependent-sum
+version:            1.3
+synopsis:           Universe instances for types from dependent-sum
 description:
   A class for finite and recursively enumerable types and some helper functions for enumerating them
   defined in @universe-base@ package:
@@ -19,15 +19,16 @@
   .
   classes.
 
-homepage:      https://github.com/dmwit/universe
-license:       BSD3
-license-file:  LICENSE
-author:        Daniel Wagner
-maintainer:    me@dmwit.com
-copyright:     Daniel Wagner 2014
-category:      Data
-build-type:    Simple
-cabal-version: >=1.10
+homepage:           https://github.com/dmwit/universe
+license:            BSD3
+license-file:       LICENSE
+author:             Daniel Wagner
+maintainer:         me@dmwit.com
+copyright:          Daniel Wagner 2014
+category:           Data
+build-type:         Simple
+cabal-version:      >=1.10
+extra-source-files: changelog
 tested-with:
   GHC ==7.0.4
    || ==7.4.2
@@ -38,8 +39,8 @@
    || ==8.2.2
    || ==8.4.4
    || ==8.6.5
-   || ==8.8.3
-   || ==8.10.1
+   || ==8.8.4
+   || ==8.10.3
 
 source-repository head
   type:     git
@@ -48,15 +49,12 @@
 source-repository this
   type:     git
   location: https://github.com/dmwit/universe
-  tag:      instances-dependent-sum-1.1
+  tag:      universe-1.2.1
 
 library
   default-language: Haskell2010
   hs-source-dirs:   src
   exposed-modules:  Data.Universe.DependentSum
   build-depends:
-      base           >=4.3     && <4.15
-    , dependent-sum  >=0.3.2.2 && <0.8
-    , some           >=1       && <1.1
-    , universe-base  >=1.1     && <1.1.2
-    , universe-some  >=1.2     && <1.3
+      base           >=4.3   && <4.16
+    , universe-some  >=1.2.1 && <1.3