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

symfpu-devel-1.2.0-2.fc46 RPM for x86_64

From Fedora Rawhide for x86_64 / s

Name: symfpu-devel Distribution: Fedora Project
Version: 1.2.0 Vendor: Fedora Project
Release: 2.fc46 Build date: Sat Sep 26 15:41:23 2026
Group: Unspecified Build host: buildhw-x86-05.rdu3.fedoraproject.org
Size: 250650 Source RPM: symfpu-1.2.0-2.fc46.src.rpm
Packager: Fedora Project
Url: https://github.com/martin-cs/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 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/include/symfpu
/usr/include/symfpu/baseTypes
/usr/include/symfpu/baseTypes/cprover_bvt.h
/usr/include/symfpu/baseTypes/cprover_common.h
/usr/include/symfpu/baseTypes/cprover_exprt.h
/usr/include/symfpu/baseTypes/cvc4_literal.h
/usr/include/symfpu/baseTypes/cvc4_symbolic.h
/usr/include/symfpu/baseTypes/shared.h
/usr/include/symfpu/baseTypes/simpleExecutable.h
/usr/include/symfpu/core
/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/common.h
/usr/include/symfpu/utils/numberOfRoundingModes.h
/usr/include/symfpu/utils/properties.h
/usr/lib64/libsymfpu.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Sep 28 22:50:16 2026