Changelog for symfpu-0-0.15.20190517gitc3acaf6.fc39.i686.rpm :

* 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
* Sat Jan 22 2022 Fedora Release Engineering - 0-0.10.20190517gitc3acaf6- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild