Debian packages on transit

Package: libmpfi-dev-common
Status: install ok installed
Priority: optional
Section: libdevel
Installed-Size: 37
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> [Debian Bug Report]
Architecture: all
Multi-Arch: foreign
Source: mpfi
Version: 1.5.3+ds-6
Replaces: libmpfi-dev (<< 1.5.1+ds-1), libmpfi0-dev-common (<< 1.5.1+ds-3)
Suggests: libmpfi-dev
Breaks: libmpfi-dev (<< 1.5.1+ds-1)
Conflicts: libmpfi0-dev-common (<< 1.5.1+ds-3)
Description: multiple precision floating-point interval computation library -- headers
 This package provides a C library of functions for interval arithmetic
 computations with arbitrary precision.
 
 The basic principle of interval arithmetic consists in enclosing every number
 by an interval containing it and being representable by machine numbers: for
 instance it can be stored as its lower and upper endpoints and these bounds
 are machine numbers, or as a centre and a radius which are machine numbers.
 
 The arithmetic operations are extended for interval operands in such a way
 that the exact result of the operation belongs to the computed interval.
 
 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. The
 MPFI library is built upon MPFR in order to benefit from the correct roundings
 provided by MPFR. Further advantages of using MPFR are its portability and
 compliance with the IEEE 754 standard for floating-point arithmetic.
 
 This package provides the headers needed by developers.
Homepage: https://gitlab.inria.fr/mpfi/mpfi

Files owned by package libmpfi-dev-common:

/usr
/usr/include
/usr/include/mpfi.h
/usr/include/mpfi_io.h
/usr/share
/usr/share/doc
/usr/share/doc/libmpfi-dev-common
/usr/share/doc/libmpfi-dev-common/changelog.Debian.gz
/usr/share/doc/libmpfi-dev-common/changelog.gz
/usr/share/doc/libmpfi-dev-common/copyright
/usr/share/lintian
/usr/share/lintian/overrides
/usr/share/lintian/overrides/libmpfi-dev-common