About

This package is 10.5 KB. It is available at http://ftp.debian.org/debian/pool/main/m/mpfi/libmpfi-dev-common_1.5.1+ds-4_all.deb .

View its full control file here: debian/control.

Description

multiple precision floating-point interval computation library -- headers

Relations

This package does not depend on any other package.

This package recommends: libmpfi-dev (= 1.5.1+ds-4).

This package does not suggest any other package.

This package conflicts with: libmpfi0-dev-common (<< 1.5.1+ds-3).

Package Contents

This package is indexed.

libmpfi-dev-common 1.5.1+ds-4 is in debian - stretch / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/include/ root:root 0o755
/usr/include/mpfi.h text/x-c root:root 0o644 14.7 KB
/usr/include/mpfi_io.h text/x-c root:root 0o644 1.5 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/libmpfi-dev-common/ root:root 0o755
/usr/share/doc/libmpfi-dev-common/changelog.Debian.gz application/gzip root:root 0o644 1.8 KB
/usr/share/doc/libmpfi-dev-common/changelog.gz application/gzip root:root 0o644 2.8 KB
/usr/share/doc/libmpfi-dev-common/copyright text/plain root:root 0o644 3.4 KB
/usr/share/lintian/ root:root 0o755
/usr/share/lintian/overrides/ root:root 0o755
/usr/share/lintian/overrides/libmpfi-dev-common text/plain root:root 0o644 233 bytes