Changelog for emacs-proofgeneral-4.5-9.20240912git1ffca70.fc41.noarch.rpm :

* Sat Sep 28 2024 Jerry James - 4.5-9- Update to git head for prooftree 0.14 support
* Wed Jul 17 2024 Fedora Release Engineering - 4.5-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* 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