Changelog for emacs-common-proofgeneral-4.5-7.fc40.noarch.rpm :

* Wed Jan 24 2024 Fedora Release Engineering - 4.5-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering - 4.5-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 16 2024 Jerry James - 4.5-5- Stop building for 32-bit x86
* Wed Jul 19 2023 Fedora Release Engineering - 4.5-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 18 2023 Jerry James - 4.5-4- Validate appdata with appstream-util
* Thu Jan 19 2023 Fedora Release Engineering - 4.5-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Nov 19 2022 Jerry James - 4.5-3- Add patch to silence warnings about an overly long docstring- Convert License tag to SPDX
* Thu Jul 21 2022 Fedora Release Engineering - 4.5-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed Jul 20 2022 Jerry James - 4.5-1- Version 4.5- License change from GPLv2 to GPLv3+