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