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

* Wed Aug 10 2022 Peter Simons - Update type-equality to version 1 revision 4. Upstream has revised the Cabal build instructions on Hackage.
* Mon Nov 01 2021 psimonsAATTsuse.com- Update type-equality to version 1 revision 3. Upstream has revised the Cabal build instructions on Hackage.
* Mon Jan 11 2021 psimonsAATTsuse.com- Update type-equality to version 1 revision 2. Upstream has revised the Cabal build instructions on Hackage.
* Thu Dec 17 2020 Ondřej Súkup - disable %{ix86} build
* Mon Aug 31 2020 psimonsAATTsuse.com- Update type-equality to version 1 revision 1. Upstream has revised the Cabal build instructions on Hackage.
* Tue Aug 18 2020 Peter Simons - Replace %setup -q with the more modern %autosetup macro.
* Tue Jun 09 2020 psimonsAATTsuse.com- Add type-equality at version 1.