libmpfi-dev (1.5.4+ds-5)

Details

Core information at a glance

Distribution: debian
Origin: debian-sid
Repository: https://deb.debian.org/debian
Codename: sid
Component: main
Source: mpfi
Architecture: riscv64
Section: libdevel
Priority: optional
Maintainer: Debian Science Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 1 kB
Size expected: 87.3 kB
Size actual: 87.3 kB
Size match

Dependencies

Required package dependencies

libmpfi0 (= 1.5.4+ds-5)
libmpfi-dev-common (= 1.5.4+ds-5)
libmpfr-dev
libgmp-dev

Suggested packages

Recommended additional packages

None

Description

multiple precision floating-point interval computation library -- libdev

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	3d5e82f7…32c28ca6	3d5e82f7…32c28ca6
SHA-1	Not provided	56ed770b…ffed592c
SHA-256	1c5ebd3d…9d2432d9	1c5ebd3d…9d2432d9
SHA-512	Not provided	795a2c98…eb1f0a6c

Files and directories included

.
usr
usr/lib
usr/lib/riscv64-linux-gnu
usr/lib/riscv64-linux-gnu/libmpfi.a
usr/share
usr/share/doc
usr/lib/riscv64-linux-gnu/libmpfi.so
usr/share/doc/libmpfi-dev