Package - libmpfi-dev
Primary informations
Download package: http://deb.debian.org/debian/pool/main/m/mpfi/libmpfi-dev_1.5.4+ds-4_amd64.deb (Size: 31.3KiB)| Property | Value |
|---|---|
| Package | libmpfi-dev |
| Source | mpfi |
| Version | 1.5.4+ds-4 |
| Installed-Size | 315 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libmpfi0 (= 1.5.4+ds-4), libmpfi-dev-common (= 1.5.4+ds-4), libmpfr-dev, libgmp-dev |
| Description | multiple precision floating-point interval computation library -- libdev |
| Description-md5 | b4a9e72e03e8fe69b6be2cb690144e91 |
| Multi-Arch | same |
| Homepage | https://gitlab.inria.fr/mpfi/mpfi |
| Tag | devel::library, role::devel-lib |
| Section | libdevel |
| Priority | optional |
| Filename | pool/main/m/mpfi/libmpfi-dev_1.5.4+ds-4_amd64.deb |
| Size | 32036 |
| MD5sum | a1aeaeac4b79724c86162997f6481ad3 |
| SHA256 | 3d4fc8db83fdf430d45064c6050b9e05692e77f93602613aa8b11b33e022feef |
Files in package
- /usr/lib/x86_64-linux-gnu/libmpfi.a
- /usr/lib/x86_64-linux-gnu/libmpfi.so
- /usr/share/doc/libmpfi-dev