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)
6017 packages and 861739 files in cooking database (Sun Sep 21 00:48:01 2025)