diff options
Diffstat (limited to 'libgmp/.footprint')
| -rw-r--r-- | libgmp/.footprint | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/libgmp/.footprint b/libgmp/.footprint new file mode 100644 index 0000000..7a3bd56 --- /dev/null +++ b/libgmp/.footprint @@ -0,0 +1,21 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/include/ +-rw-r--r-- root/root usr/include/gmp.h +-rw-r--r-- root/root usr/include/gmpxx.h +drwxr-xr-x root/root usr/lib/ +-rw-r--r-- root/root usr/lib/libgmp.a +-rwxr-xr-x root/root usr/lib/libgmp.la +lrwxrwxrwx root/root usr/lib/libgmp.so -> libgmp.so.10.0.1 +lrwxrwxrwx root/root usr/lib/libgmp.so.10 -> libgmp.so.10.0.1 +-rwxr-xr-x root/root usr/lib/libgmp.so.10.0.1 +-rw-r--r-- root/root usr/lib/libgmpxx.a +-rwxr-xr-x root/root usr/lib/libgmpxx.la +lrwxrwxrwx root/root usr/lib/libgmpxx.so -> libgmpxx.so.4.2.1 +lrwxrwxrwx root/root usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.2.1 +-rwxr-xr-x root/root usr/lib/libgmpxx.so.4.2.1 +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/info/ +-rw-r--r-- root/root usr/share/info/dir +-rw-r--r-- root/root usr/share/info/gmp.info +-rw-r--r-- root/root usr/share/info/gmp.info-1 +-rw-r--r-- root/root usr/share/info/gmp.info-2 |