Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
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.
GPL-3.0-or-later
* 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
/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