diff options
| -rw-r--r-- | base/mpfr/.footprint.x86_64 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/base/mpfr/.footprint.x86_64 b/base/mpfr/.footprint.x86_64 index 1fef45aa4..370783767 100644 --- a/base/mpfr/.footprint.x86_64 +++ b/base/mpfr/.footprint.x86_64 @@ -5,9 +5,9 @@ drwxr-xr-x root/root usr/include/ drwxr-xr-x root/root usr/lib/ -rw-r--r-- root/root usr/lib/libmpfr.a -rwxr-xr-x root/root usr/lib/libmpfr.la -lrwxrwxrwx root/root usr/lib/libmpfr.so -> libmpfr.so.4.0.0 -lrwxrwxrwx root/root usr/lib/libmpfr.so.4 -> libmpfr.so.4.0.0 --rwxr-xr-x root/root usr/lib/libmpfr.so.4.0.0 +lrwxrwxrwx root/root usr/lib/libmpfr.so -> libmpfr.so.4.0.1 +lrwxrwxrwx root/root usr/lib/libmpfr.so.4 -> libmpfr.so.4.0.1 +-rwxr-xr-x root/root usr/lib/libmpfr.so.4.0.1 drwxr-xr-x root/root usr/share/ drwxr-xr-x root/root usr/share/info/ -rw-r--r-- root/root usr/share/info/mpfr.info.gz |