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

symfpu-devel-0-0.16.20190517gitc3acaf6.fc40 RPM for aarch64

From Fedora 40 for aarch64 / s

Name: symfpu-devel Distribution: Fedora Project
Version: 0 Vendor: Fedora Project
Release: 0.16.20190517gitc3acaf6.fc40 Build date: Sat Jan 27 06:08:29 2024
Group: Unspecified Build host: buildvm-a64-12.iad2.fedoraproject.org
Size: 257116 Source RPM: symfpu-0-0.16.20190517gitc3acaf6.fc40.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

Changelog

* Sat Jan 27 2024 Fedora Release Engineering <[email protected]> - 0-0.16.20190517gitc3acaf6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 16 2024 Jerry James <[email protected]> - 0-0.15.20190517gitc3acaf6
  - Stop building for 32-bit x86
* Fri Jul 28 2023 Jerry James <[email protected]> - 0-0.15.20190517gitc3acaf6
  - Add patch needed by CVC5
* Sat Jul 22 2023 Fedora Release Engineering <[email protected]> - 0-0.14.20190517gitc3acaf6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Sat Jan 21 2023 Fedora Release Engineering <[email protected]> - 0-0.13.20190517gitc3acaf6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Wed Dec 14 2022 Jerry James <[email protected]> - 0-0.12.20190517gitc3acaf6
  - Add upstream patch to fix creation of zero-size bitvector
  - Add patch to avoid infinite recursion
  - Convert License tag to SPDX
* Sat Jul 23 2022 Fedora Release Engineering <[email protected]> - 0-0.11.20190517gitc3acaf6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_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, Tue Jul 9 23:47:10 2024