libgmp: updated to 5.1.3

[ports/core-arm.git] / libgmp / .footprint

diff --git a/libgmp/.footprint b/libgmp/.footprint
index 74ea801aa74cf09431be2b6a3a7168b17dafb02e..e48f72a54f88fd3d9624af84ea481a295a8134f6 100644 (file)
--- a/libgmp/.footprint
+++ b/libgmp/.footprint
@@ -5,11 +5,11 @@ drwxr-xr-x    root/root       usr/include/
 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.1.2
-lrwxrwxrwx     root/root       usr/lib/libgmp.so.10 -> libgmp.so.10.1.2
--rwxr-xr-x     root/root       usr/lib/libgmp.so.10.1.2
+lrwxrwxrwx     root/root       usr/lib/libgmp.so -> libgmp.so.10.1.3
+lrwxrwxrwx     root/root       usr/lib/libgmp.so.10 -> libgmp.so.10.1.3
+-rwxr-xr-x     root/root       usr/lib/libgmp.so.10.1.3
 -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.3.2
-lrwxrwxrwx     root/root       usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.3.2
--rwxr-xr-x     root/root       usr/lib/libgmpxx.so.4.3.2
+lrwxrwxrwx     root/root       usr/lib/libgmpxx.so -> libgmpxx.so.4.3.3
+lrwxrwxrwx     root/root       usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.3.3
+-rwxr-xr-x     root/root       usr/lib/libgmpxx.so.4.3.3