diff options
Diffstat (limited to 'base/gmp')
| -rw-r--r-- | base/gmp/.footprint | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/base/gmp/.footprint b/base/gmp/.footprint index bc5d930ba..580dce477 100644 --- a/base/gmp/.footprint +++ b/base/gmp/.footprint @@ -2,6 +2,7 @@ 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 +-rw-r--r-- root/root usr/include/mp.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 @@ -13,6 +14,11 @@ lrwxrwxrwx root/root usr/lib/libgmp.so.10 -> libgmp.so.10.0.1 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 +-rw-r--r-- root/root usr/lib/libmp.a +-rwxr-xr-x root/root usr/lib/libmp.la +lrwxrwxrwx root/root usr/lib/libmp.so -> libmp.so.3.1.21 +lrwxrwxrwx root/root usr/lib/libmp.so.3 -> libmp.so.3.1.21 +-rwxr-xr-x root/root usr/lib/libmp.so.3.1.21 drwxr-xr-x root/root usr/share/ drwxr-xr-x root/root usr/share/info/ -rw-r--r-- root/root usr/share/info/gmp.info-1.gz |