/usr/share/sagemath/installed/mpfr-3.1.5.p0 is in sagemath-common 8.1-7ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1
system