Changelog for ghc-websockets-prof-0.12.5.3-1.fc31.x86_64.rpm :

* Thu Jul 25 2019 Jens Petersen - 0.12.5.3-1- update to 0.12.5.3
* Thu Jul 25 2019 Fedora Release Engineering - 0.12.5.2-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Fri Apr 05 2019 Jens Petersen - 0.12.5.2-1- spec file generated by cabal-rpm-0.13.1- exclude deprecated bytestring-builder