Package - libmpfi0
Primary informations
Download package: http://deb.debian.org/debian/pool/main/m/mpfi/libmpfi0_1.5.4+ds-4_amd64.deb (Size: 34.6KiB)| Property | Value |
|---|---|
| Package | libmpfi0 |
| Source | mpfi |
| Version | 1.5.4+ds-4 |
| Installed-Size | 126 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Replaces | libmpfi (<< 1.5.1+ds-1) |
| Provides | libmpfi |
| Depends | libc6 (>= 2.4), libgmp10 (>= 2:6.3.0+dfsg), libmpfr6 (>= 4.0.0) |
| Suggests | libmpfi-doc (= 1.5.4+ds-4) |
| Conflicts | libmpfi |
| Description | multiple precision floating-point interval computation library -- lib |
| Description-md5 | 062409ab526856212342ab4f10dcb533 |
| Multi-Arch | same |
| Homepage | https://gitlab.inria.fr/mpfi/mpfi |
| Tag | role::shared-lib |
| Section | libs |
| Priority | optional |
| Filename | pool/main/m/mpfi/libmpfi0_1.5.4+ds-4_amd64.deb |
| Size | 35456 |
| MD5sum | 26cbf5779993c6f8c9ee5ead1d71f97f |
| SHA256 | 53937c2bfad6fff237d18ec11f872d90140bc6b1552af0d4651576c61754d378 |
Files in package
- /usr/lib/x86_64-linux-gnu/libmpfi.so.0
- /usr/lib/x86_64-linux-gnu/libmpfi.so.0.0.0
- /usr/share/doc/libmpfi0/changelog.Debian.gz
- /usr/share/doc/libmpfi0/changelog.gz
- /usr/share/doc/libmpfi0/copyright