libmpfi-dev (1.5.4+ds-4)

Details

Core information at a glance

Distribution
debian
Origin
debian-trixie
Repository
https://deb.debian.org/debian
Codename
trixie
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
955 B
Size expected
82.9 kB
Size actual
82.9 kB
Size 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

devel::library
role::devel-lib

Checksums

Hash values and integrity verification status

TypeActualMatch
MD589ad8447…aae304f2
SHA-12d3f9467…7aa70ca8
SHA-256c7ade3b5…30698fc6
SHA-512470a6d23…3549659a

Contents

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