Changelog for symfpu-0-0.17.20190517gitc3acaf6.fc41.x86_64.rpm :

* Sat Jul 20 2024 Fedora Release Engineering - 0-0.17.20190517gitc3acaf6- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Sat Jan 27 2024 Fedora Release Engineering - 0-0.16.20190517gitc3acaf6- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 16 2024 Jerry James - 0-0.15.20190517gitc3acaf6- Stop building for 32-bit x86
* Fri Jul 28 2023 Jerry James - 0-0.15.20190517gitc3acaf6- Add patch needed by CVC5
* Sat Jul 22 2023 Fedora Release Engineering - 0-0.14.20190517gitc3acaf6- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Sat Jan 21 2023 Fedora Release Engineering - 0-0.13.20190517gitc3acaf6- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Wed Dec 14 2022 Jerry James - 0-0.12.20190517gitc3acaf6- Add upstream patch to fix creation of zero-size bitvector- Add patch to avoid infinite recursion- Convert License tag to SPDX
* Sat Jul 23 2022 Fedora Release Engineering - 0-0.11.20190517gitc3acaf6- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild