diff options
Diffstat (limited to 'repos/core/mpfr/.files')
| -rw-r--r-- | repos/core/mpfr/.files | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/repos/core/mpfr/.files b/repos/core/mpfr/.files deleted file mode 100644 index 38380429..00000000 --- a/repos/core/mpfr/.files +++ /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/ -lrwxrwxrwx root/root usr/lib/libmpfr.so -> libmpfr.so.6.2.1 -lrwxrwxrwx root/root usr/lib/libmpfr.so.6 -> libmpfr.so.6.2.1 --rwxr-xr-x root/root usr/lib/libmpfr.so.6.2.1 -drwxr-xr-x root/root usr/lib/pkgconfig/ --rw-r--r-- root/root usr/lib/pkgconfig/mpfr.pc -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 |