Changelog for E-debuginfo-3.1.0-2.fc41.x86_64.rpm :

* Wed Jul 17 2024 Fedora Release Engineering - 3.1.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue May 14 2024 Jerry James - 3.1.0-1- Version 3.1.0- Drop upstreamed format-overflow patch- The main binary is named eprover instead of eprover-ho
* Mon Jan 22 2024 Fedora Release Engineering - 3.0.03-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering - 3.0.03-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jan 18 2024 Fedora Release Engineering - 3.0.03-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Dec 28 2023 Jerry James - 3.0.03-1- Version 3.0.03- Stop building for 32-bit x86- Retrieve the source tarball from github- Drop upstreamed simple-apps patch
* Wed Jul 19 2023 Fedora Release Engineering - 2.6-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Wed Jan 18 2023 Fedora Release Engineering - 2.6-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Tue Aug 16 2022 Jerry James - 2.6-4- Convert License tag to SPDX
* Wed Jul 20 2022 Fedora Release Engineering - 2.6-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild