# Revision history for prim-uniq ## 0.2 - 2020-04-11 * Update for dependent-sum 0.7. (Support GHC 8.8.) * `dependent-sum` dropped the `(:=)` type. Use `(:~:)` instead. * Fix a minor strictness issue (#1).