| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: libmpfi0 | Distribution: openSUSE:Factory:zSystems |
| Version: 1.5.4 | Vendor: openSUSE |
| Release: 2.1 | Build date: Sat Nov 2 23:31:23 2024 |
| Group: System/Libraries | Build host: reproducible |
| Size: 112576 | Source RPM: mpfi-1.5.4-2.1.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://gitlab.inria.fr/mpfi/mpfi | |
| Summary: Multi-precision floating-point interval arithmetic computation library | |
MPFI is a C library for arbitrary precision interval arithmetic with intervals represented using MPFR reliable floating-point numbers. The purpose of an arbitrary precision interval arithmetic is on the one hand to get "guaranteed" results, thanks to interval computation, and on the other hand to obtain accurate results, thanks to multiple precision arithmetic.
LGPL-2.1-or-later
* Sat Nov 02 2024 Jan Engelhardt <jengelh@inai.de>
- Add 0001-incorret-types-corrected.patch
* Sat Aug 24 2019 Jan Engelhardt <jengelh@inai.de>
- Update to new upstream release 1.5.4
* mp_exp_t replaced by mpfr_exp_t, mp_prec_t replaced by
mpfr_prec_t, mp_rnd_t replaced by mpfr_rnd_t GMP_RNDx
replaced by MPFR_RNDx.
* Fri Jan 19 2018 jengelh@inai.de
- Update to new upstream release 1.5.3
* be compatible with MPFR version 4.0.0
- Changes introduced with 1.5.2
* fix documentation of comparison functions
* fix bug in mpfi_sub_fr
* new symbols MPFI_VERSION_MAJOR, MPFI_VERSION_MINOR,
MPFI_VERSION_PATCHLEVEL, and MPFI_VERSION_STRING in mpfi.h
* detect availability of mpfr_z_sub, mpfr_z_div, and mpfr_q_sub
and use a custom implementation for the ones not provided by
MPFR (mpfr_z_sub appeared in MPFR 3.1.0, the other ones are
used in tests only)
* tadd_q does no more check overflow by default (required too
much memory)
* sign of zeros choice documented
* Thu Dec 13 2012 jengelh@inai.de
- Initial package (version 1.5.1) for build.opensuse.org
/usr/lib64/libmpfi.so.0 /usr/lib64/libmpfi.so.0.0.0
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Jan 29 02:28:24 2025