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

symfpu-devel-0-0.18.20190517gitc3acaf6.fc42 RPM for x86_64

From Fedora Rawhide for x86_64 / s

Name: symfpu-devel Distribution: Fedora Project
Version: 0 Vendor: Fedora Project
Release: 0.18.20190517gitc3acaf6.fc42 Build date: Sun Jan 19 13:13:35 2025
Group: Unspecified Build host: buildvm-x86-32.iad2.fedoraproject.org
Size: 257116 Source RPM: symfpu-0-0.18.20190517gitc3acaf6.fc42.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

* 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
* Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.16.20190517gitc3acaf6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 0-0.15.20190517gitc3acaf6
  - Stop building for 32-bit x86
* Fri Jul 28 2023 Jerry James <loganjerry@gmail.com> - 0-0.15.20190517gitc3acaf6
  - Add patch needed by CVC5
* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.14.20190517gitc3acaf6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.13.20190517gitc3acaf6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

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, Sun Feb 2 23:56:09 2025