Changelog for ghc-what4-doc-1.5.1-1.fc42.noarch.rpm :

* Mon Aug 19 2024 Frank Dedden - 1.5.1-1- spec file generated by cabal-rpm-2.2.1