This package is 7.5 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/m/mpfi/libmpfi-dev-common_1.5.3+ds-2_all.deb
.
View its full control file here:
debian/control.
multiple precision floating-point interval computation library -- headers
This package does not depend on any other package.
This package does not recommend any other package.
This package suggests:
libmpfi-dev.
This package conflicts with:
libmpfi0-dev-common (<< 1.5.1+ds-3).
libmpfi-dev-common 1.5.3+ds-2 is in ubuntu - bionic / universe. 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.6 KB |
/usr/share/doc/libmpfi-dev-common/copyright
|
text/plain | root:root | 0o644 | 3.5 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 |