diff options
Diffstat (limited to 'repos/archive/mpfr/.files')
| -rw-r--r-- | repos/archive/mpfr/.files | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/repos/archive/mpfr/.files b/repos/archive/mpfr/.files new file mode 100644 index 00000000..d23c67ac --- /dev/null +++ b/repos/archive/mpfr/.files @@ -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/ +lrwxrwxrwx root/root usr/lib/libmpfr.so -> libmpfr.so.6.2.2 +lrwxrwxrwx root/root usr/lib/libmpfr.so.6 -> libmpfr.so.6.2.2 +-rwxr-xr-x root/root usr/lib/libmpfr.so.6.2.2 +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 |