Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

symfpu-devel-0-0.23.20260406git227a724.fc45 RPM for noarch

From Fedora Rawhide for ppc64le / s

Name: symfpu-devel Distribution: Fedora Project
Version: 0 Vendor: Fedora Project
Release: 0.23.20260406git227a724.fc45 Build date: Sat Jul 18 13:39:42 2026
Group: Unspecified Build host: buildhw-x86-14.rdu3.fedoraproject.org
Size: 177031 Source RPM: symfpu-0-0.23.20260406git227a724.fc45.src.rpm
Packager: Fedora Project
Url: https://github.com/cvc5/symfpu
Summary: Development files for symfpu
 
This package contains header files and library links for developing
applications that use symfpu.

Provides

Requires

License

GPL-3.0-or-later

Changelog

* 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
* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.17.20190517gitc3acaf6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild

Files

/usr/include/symfpu
/usr/include/symfpu/core
/usr/include/symfpu/core/Makefile
/usr/include/symfpu/core/add.h
/usr/include/symfpu/core/classify.h
/usr/include/symfpu/core/compare.h
/usr/include/symfpu/core/convert.h
/usr/include/symfpu/core/divide.h
/usr/include/symfpu/core/fma.h
/usr/include/symfpu/core/ite.h
/usr/include/symfpu/core/multiply.h
/usr/include/symfpu/core/operations.h
/usr/include/symfpu/core/packing.h
/usr/include/symfpu/core/remainder.h
/usr/include/symfpu/core/rounder.h
/usr/include/symfpu/core/sign.h
/usr/include/symfpu/core/sqrt.h
/usr/include/symfpu/core/unpackedFloat.h
/usr/include/symfpu/utils
/usr/include/symfpu/utils/Makefile
/usr/include/symfpu/utils/common.h
/usr/include/symfpu/utils/numberOfRoundingModes.h
/usr/include/symfpu/utils/properties.h
/usr/share/licenses/symfpu-devel
/usr/share/licenses/symfpu-devel/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jul 29 00:01:48 2026