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

symfpu-devel-0-0.15.20190517gitc3acaf6.fc39 RPM for i686

From Fedora 39 for x86_64 / s

Name: symfpu-devel Distribution: Fedora Project
Version: 0 Vendor: Fedora Project
Release: 0.15.20190517gitc3acaf6.fc39 Build date: Fri Jul 28 23:49:54 2023
Group: Unspecified Build host: buildvm-x86-05.iad2.fedoraproject.org
Size: 257116 Source RPM: symfpu-0-0.15.20190517gitc3acaf6.fc39.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

* 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
* Sat Jan 22 2022 Fedora Release Engineering <[email protected]> - 0-0.10.20190517gitc3acaf6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_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/lib/libsymfpu.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 21:55:09 2024