Changelog for universe-dependent-sum-1.3.1
1.3.1
* Depend on universe-some >=1.2.2 && <1.3
* Support GHC-9.6.5..9.10.1
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