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

symfpu-1.2.0-2.fc45 RPM for ppc64le

From Fedora 45 testing updates for ppc64le / Packages / s

Name: symfpu Distribution: Fedora Project
Version: 1.2.0 Vendor: Fedora Project
Release: 2.fc45 Build date: Sat Sep 26 15:54:29 2026
Group: Unspecified Build host: buildvm-ppc64le-09.rdu3.fedoraproject.org
Size: 72052 Source RPM: symfpu-1.2.0-2.fc45.src.rpm
Packager: Fedora Project
Url: https://github.com/martin-cs/symfpu
Summary: An implementation of IEEE-754 / SMT-LIB floating-point
 
SymFPU is an implementation of the SMT-LIB / IEEE-754 operations in terms of
bit-vector operations.  It is templated in terms of the bit-vectors,
propositions, floating-point formats and rounding mode types used.  This
allows the same code to be executed as an arbitrary precision "SoftFloat"
library (although it's performance would not be good) or to be used to build
symbolic representations of floating-point operations suitable for use in
"bit-blasting" SMT solvers (you could also generate circuits from them but
again, performance will likely not be good).

Provides

Requires

License

GPL-3.0-or-later OR BSD-3-Clause

Changelog

* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/afc806209e47c960008b99dbd7c8a1b90b0c6b
/usr/lib64/libsymfpu.so.0
/usr/lib64/libsymfpu.so.0.0.0
/usr/share/doc/symfpu
/usr/share/doc/symfpu/README.md
/usr/share/licenses/symfpu
/usr/share/licenses/symfpu/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Sep 29 01:04:49 2026