Changelog for ghc-copilot-theorem-doc-3.19.1-2.fc41.noarch.rpm :

* Mon Sep 02 2024 Frank Dedden - 3.19.1-1- spec file generated by cabal-rpm-2.2.1