libmpfi-dev (1.5.4+ds-4)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-plucky
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- plucky
- Component
- universe
- Source
- mpfi
- Architecture
- i386
- Multi-Arch
- same
- Section
- universe/libdevel
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 293.9 kB
- Size expected
- 38.5 kB
- Size actual
- 38.5 kB
- Size match
- match
Dependencies
Required package dependencies
- libmpfi0 (= 1.5.4+ds-4)
- libmpfi-dev-common (= 1.5.4+ds-4)
- libmpfr-dev
- libgmp-dev
Recommends
Recommended package dependencies
- None
Suggested packages
Recommended additional packages
- None
Provides
Virtual packages provided
- None
Description
multiple precision floating-point interval computation library -- libdev
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | c9cca7a3…1e6a0597 | match |
| SHA-1 | 612b05d7…c2844dca | match |
| SHA-256 | 550d1515…ae331e5b | match |
| SHA-512 | 2ca4cdf9…34a1dfa6 | match |
Contents
Files and directories included
. usr usr/lib usr/lib/i386-linux-gnu usr/lib/i386-linux-gnu/libmpfi.a usr/share usr/share/doc usr/lib/i386-linux-gnu/libmpfi.so usr/share/doc/libmpfi-dev