List of files in the package "mpfr-dev"
/usr/include/mpf2mpfr.h /usr/include/mpfr.h /usr/lib/libmpfr.a /usr/lib/libmpfr.la
4 files 148.0K (596.0K installed)
3382 packages and 430813 files in stable database (Mon Mar 4 17:53:49 2019)
/usr/include/mpf2mpfr.h /usr/include/mpfr.h /usr/lib/libmpfr.a /usr/lib/libmpfr.la
4 files 148.0K (596.0K installed)