| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: symfpu-debuginfo | Distribution: Fedora Project |
| Version: 1.2.0 | Vendor: Fedora Project |
| Release: 2.fc45 | Build date: Sat Sep 26 15:54:04 2026 |
| Group: Development/Debug | Build host: buildvm-s390x-03.s390.fedoraproject.org |
| Size: 58862 | Source RPM: symfpu-1.2.0-2.fc45.src.rpm |
| Packager: Fedora Project | |
| Url: https://github.com/martin-cs/symfpu | |
| Summary: Debug information for package symfpu | |
This package provides debug information for package symfpu. Debug information is useful when developing applications that use this package or when debugging this package.
GPL-3.0-or-later OR BSD-3-Clause
* Sat Sep 26 2026 Jerry James <loganjerry@gmail.com> - 1.2.0-2 - Fix devel package dependency on main package * Fri Sep 25 2026 Jerry James <loganjerry@gmail.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 * Fri Jul 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.23.20260406git227a724 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Fri May 15 2026 Jerry James <loganjerry@gmail.com> - 0-0.22.20260406git227a724 - Update for cvc5 1.3.4 * Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.21.20230627gite6ac3af - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Thu Dec 18 2025 Jerry James <loganjerry@gmail.com> - 0-0.20.20230627gite6ac3af - Switch to the cvc5 git branch - Drop all patches - Package is now header-only and therefore noarch * Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.19.20190517gitc3acaf6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.18.20190517gitc3acaf6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Wed Jan 15 2025 Jerry James <loganjerry@gmail.com> - 0-0.17.20190517gitc3acaf6 - New project URL - Move configuration steps to %conf
/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/79 /usr/lib/debug/.build-id/79/138fda38bf96495c06a5764ba66e5cc45b3b79 /usr/lib/debug/.build-id/79/138fda38bf96495c06a5764ba66e5cc45b3b79.debug /usr/lib/debug/usr /usr/lib/debug/usr/lib64 /usr/lib/debug/usr/lib64/libsymfpu.so.0.0.0-1.2.0-2.fc45.s390x.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Sep 28 01:27:16 2026