Changelog for ghc-what4-devel-1.5.1-4.fc42.x86_64.rpm :

* Thu Jan 16 2025 Fedora Release Engineering - 1.5.1-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Tue Sep 24 2024 Frank Dedden - 1.5.1-3- Fix missing entry in `sources` and `.gitignore` files.
* Mon Aug 19 2024 Frank Dedden - 1.5.1-1- spec file generated by cabal-rpm-2.2.1