Changelog for ghc-copilot-theorem-prof-3.19.1-3.fc42.x86_64.rpm :

* Thu Jan 16 2025 Fedora Release Engineering - 3.19.1-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Mon Sep 02 2024 Frank Dedden - 3.19.1-1- spec file generated by cabal-rpm-2.2.1