Changelog for ghc-what4-doc-1.5.1-3.fc41.noarch.rpm :

* 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