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 188.0K (816.0K installed)
6011 packages and 861664 files in cooking database (Thu May 8 14:10:20 2025)