/usr/lib/libmpfr.so.1 /usr/lib/libmpfr.so.1.1.1 /usr/share/doc/libmpfr1ldbl/BUGS /usr/share/doc/libmpfr1ldbl/NEWS.gz /usr/share/doc/libmpfr1ldbl/README /usr/share/doc/libmpfr1ldbl/README.Debian /usr/share/doc/libmpfr1ldbl/TODO.gz /usr/share/doc/libmpfr1ldbl/changelog.Debian.gz /usr/share/doc/libmpfr1ldbl/changelog.gz /usr/share/doc/libmpfr1ldbl/copyright