Package - libmpfi-dev-common

Package:  libmpfi-dev-common
apt-get install libmpfi-dev-common
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mpfi/libmpfi-dev-common_1.5.4+ds-4_all.deb (Size: 10.0KiB)

PropertyValue
Packagelibmpfi-dev-common
Sourcempfi
Version1.5.4+ds-4
Installed-Size34
MaintainerDebian Science Maintainers
Architectureall
Replaceslibmpfi0-dev-common
Suggestslibmpfi-dev
Breakslibmpfi0-dev-common
Descriptionmultiple precision floating-point interval computation library -- headers
Description-md516bad2ee62363c94c264e4d3d5bb4ec0
Multi-Archforeign
Homepagehttps://gitlab.inria.fr/mpfi/mpfi
Tagdevel::library, role::devel-lib
Sectionlibdevel
Priorityoptional
Filenamepool/main/m/mpfi/libmpfi-dev-common_1.5.4+ds-4_all.deb
Size10288
MD5suma7f93d219f61dbe443a400815ce5d061
SHA2560af5263d832d7729f7586a37b2214c4a258f6a0da58a511ea90d96429e987fc4

Files in package

  • /usr/include/mpfi.h
  • /usr/include/mpfi_io.h
  • /usr/share/doc/libmpfi-dev-common/changelog.Debian.gz
  • /usr/share/doc/libmpfi-dev-common/changelog.gz
  • /usr/share/doc/libmpfi-dev-common/copyright