2013-07-24 16:46:15 +02:00
|
|
|
drwxr-xr-x root/root usr/
|
2013-08-07 14:47:23 +02:00
|
|
|
drwxr-xr-x root/root usr/include/
|
|
|
|
|
-rw-r--r-- root/root usr/include/gmp-32.h
|
2013-07-24 16:46:15 +02:00
|
|
|
drwxr-xr-x root/root usr/lib32/
|
|
|
|
|
-rw-r--r-- root/root usr/lib32/libgmp.a
|
|
|
|
|
-rwxr-xr-x root/root usr/lib32/libgmp.la
|
2023-08-03 22:43:19 +02:00
|
|
|
lrwxrwxrwx root/root usr/lib32/libgmp.so -> libgmp.so.10.5.0
|
|
|
|
|
lrwxrwxrwx root/root usr/lib32/libgmp.so.10 -> libgmp.so.10.5.0
|
|
|
|
|
-rwxr-xr-x root/root usr/lib32/libgmp.so.10.5.0
|
2013-07-24 16:46:15 +02:00
|
|
|
-rw-r--r-- root/root usr/lib32/libgmpxx.a
|
|
|
|
|
-rwxr-xr-x root/root usr/lib32/libgmpxx.la
|
2023-08-03 22:43:19 +02:00
|
|
|
lrwxrwxrwx root/root usr/lib32/libgmpxx.so -> libgmpxx.so.4.7.0
|
|
|
|
|
lrwxrwxrwx root/root usr/lib32/libgmpxx.so.4 -> libgmpxx.so.4.7.0
|
|
|
|
|
-rwxr-xr-x root/root usr/lib32/libgmpxx.so.4.7.0
|
2020-01-23 10:07:03 +01:00
|
|
|
drwxr-xr-x root/root usr/lib32/pkgconfig/
|
|
|
|
|
-rw-r--r-- root/root usr/lib32/pkgconfig/gmp.pc
|
|
|
|
|
-rw-r--r-- root/root usr/lib32/pkgconfig/gmpxx.pc
|
