| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: symfpu-debugsource | Distribution: Fedora Project |
| Version: 1.2.0 | Vendor: Fedora Project |
| Release: 2.fc45 | Build date: Sat Sep 26 15:54:14 2026 |
| Group: Development/Debug | Build host: buildvm-a64-43.rdu3.fedoraproject.org |
| Size: 7797 | Source RPM: symfpu-1.2.0-2.fc45.src.rpm |
| Packager: Fedora Project | |
| Url: https://github.com/martin-cs/symfpu | |
| Summary: Debug sources for package symfpu | |
This package provides debug sources for package symfpu. Debug sources are 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/src/debug/symfpu-1.2.0-2.fc45.aarch64 /usr/src/debug/symfpu-1.2.0-2.fc45.aarch64/baseTypes /usr/src/debug/symfpu-1.2.0-2.fc45.aarch64/baseTypes/simpleExecutable.cpp
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Sep 28 23:41:06 2026