Changelog for E-3.2.5-1.fc42.x86_64.rpm :

* Mon Jan 13 2025 Jerry James - 3.2.5-1- Version 3.2.5
* 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