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)