Changelog for ghc-vty-doc-5.25.1-1.fc31.x86_64.rpm :

* Thu Jul 25 2019 Jens Petersen - 5.25.1-1- update to 5.25.1
* Thu Jul 25 2019 Fedora Release Engineering - 5.21-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Fri Jun 14 2019 Jens Petersen - 5.21-1- spec file generated by cabal-rpm-1.0.0