diff options
Diffstat (limited to 'base/mpfr/.footprint.x86_64')
| -rw-r--r-- | base/mpfr/.footprint.x86_64 | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/base/mpfr/.footprint.x86_64 b/base/mpfr/.footprint.x86_64 new file mode 100644 index 000000000..1fef45aa4 --- /dev/null +++ b/base/mpfr/.footprint.x86_64 @@ -0,0 +1,13 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/include/ +-rw-r--r-- root/root usr/include/mpf2mpfr.h +-rw-r--r-- root/root usr/include/mpfr.h +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 +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 |