Changelog for ghc-type-equality-devel-1-bp153.1.20.x86_64.rpm :

* Thu May 07 2020 Peter Simons - Update Cabal file to get more accurate dependency information.
* Fri Nov 08 2019 Peter Simons - Drop obsolete group attributes.
* Thu Oct 10 2019 psimonsAATTsuse.com- Add type-equality at version 1.