↵ Return to the main page of symfpu-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
| Date | Author | Change |
|---|---|---|
| 2026-09-26 | Jerry James <loganjerry at gmail dot com> - 1.2.0-2 | - Fix devel package dependency on main package |
| 2026-09-25 | Jerry James <loganjerry at gmail dot com> - 1.2.0-1 | - Version 1.2.0 - Update License: GPL-3.0-or-later OR BSD-3-Clause - Build with -fno-strict-aliasing due to type punning - Build a shared library |
| 2026-07-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 0-0.23.20260406git227a724 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild |
| 2026-05-15 | Jerry James <loganjerry at gmail dot com> - 0-0.22.20260406git227a724 | - Update for cvc5 1.3.4 |
| 2026-01-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 0-0.21.20230627gite6ac3af | - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild |
| 2025-12-18 | Jerry James <loganjerry at gmail dot com> - 0-0.20.20230627gite6ac3af | - Switch to the cvc5 git branch - Drop all patches - Package is now header-only and therefore noarch |
| 2025-07-25 | Fedora Release Engineering <releng at fedoraproject dot org> - 0-0.19.20190517gitc3acaf6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild |
| 2025-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 0-0.18.20190517gitc3acaf6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild |
| 2025-01-15 | Jerry James <loganjerry at gmail dot com> - 0-0.17.20190517gitc3acaf6 | - New project URL - Move configuration steps to %conf |