Package - libmpfr-dev

Package:  libmpfr-dev
apt-get install libmpfr-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mpfr4/libmpfr-dev_4.2.2-1_amd64.deb (Size: 261.9KiB)

PropertyValue
Packagelibmpfr-dev
Sourcempfr4
Version4.2.2-1
Installed-Size1336
MaintainerDebian GCC Maintainers
Architectureamd64
Replaceslibgmp3-dev (<< 4.1.4-3)
Dependslibgmp-dev, libmpfr6 (= 4.2.2-1)
Suggestslibmpfr-doc
Breakslibgmp3-dev (<< 4.1.4-3)
Descriptionmultiple precision floating-point computation developers tools
Description-md5a2580b68a7c6f1fcadeefc6b17102b32
Multi-Archsame
Homepagehttps://www.mpfr.org/
Tagdevel::lang:c, devel::library, implemented-in::c, role::devel-lib, suite::gnu
Sectionlibdevel
Priorityoptional
Filenamepool/main/m/mpfr4/libmpfr-dev_4.2.2-1_amd64.deb
Size268136
MD5sum7b85c6a83cf8233c1dfdbb6d844311f7
SHA25643cbe73a48cce65232ad5d4219a67dfdd0974f45aa88d381ae051d64052b996a

Files in package

  • /usr/include/mpf2mpfr.h
  • /usr/include/mpfr.h
  • /usr/lib/x86_64-linux-gnu/libmpfr.a
  • /usr/lib/x86_64-linux-gnu/libmpfr.so
  • /usr/lib/x86_64-linux-gnu/pkgconfig/mpfr.pc
  • /usr/share/doc/libmpfr-dev/AUTHORS
  • /usr/share/doc/libmpfr-dev/BUGS
  • /usr/share/doc/libmpfr-dev/NEWS.gz
  • /usr/share/doc/libmpfr-dev/README
  • /usr/share/doc/libmpfr-dev/TODO.gz
  • /usr/share/doc/libmpfr-dev/changelog.Debian.gz
  • /usr/share/doc/libmpfr-dev/changelog.gz
  • /usr/share/doc/libmpfr-dev/copyright