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
- armhf
- Section
- universe/libdevel
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 197.6 kB
- Size expected
- 28.6 kB
- Size actual
- 28.6 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
Suggested packages
Recommended additional packages
- 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 | 0214a07e…3a4589d2 | match |
| SHA-1 | 542f0bf8…94f26a86 | match |
| SHA-256 | ca2f03d3…dab4c297 | match |
| SHA-512 | fe579bc5…f2f1702f | match |
Contents
Files and directories included
. usr usr/lib usr/lib/arm-linux-gnueabihf usr/lib/arm-linux-gnueabihf/libmpfi.a usr/share usr/share/doc usr/lib/arm-linux-gnueabihf/libmpfi.so usr/share/doc/libmpfi-dev