drwxr-xr-x root/root         0 2024-05-25 12:29 usr/
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/lib/
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/lib/pkgconfig/
-rw-r--r-- root/root       282 2024-05-25 12:29 usr/m68k-atari-mint/lib/pkgconfig/gmpxx.pc
-rw-r--r-- root/root       247 2024-05-25 12:29 usr/m68k-atari-mint/lib/pkgconfig/gmp.pc
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/
-rw-r--r-- root/root     25336 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/libgmpxx.a
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/pkgconfig/
-rw-r--r-- root/root       253 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/pkgconfig/gmpxx.pc
-rw-r--r-- root/root       218 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/pkgconfig/gmp.pc
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/m5475/
-rw-r--r-- root/root     25368 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/m5475/libgmpxx.a
-rw-r--r-- root/root    529698 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/m5475/libgmp.a
-rw-r--r-- root/root    542368 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/libgmp.a
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/
-rw-r--r-- root/root     25296 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/libgmpxx.a
-rw-r--r-- root/root    482628 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/libgmp.a
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/share/
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/share/info/
-rw-r--r-- root/root      2389 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info.gz
-rw-r--r-- root/root     48495 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info-2.gz
-rw-r--r-- root/root     85903 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info-1.gz
drwxr-xr-x root/root         0 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/include/
-rw-r--r-- root/root    129113 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/include/gmpxx.h
-rw-r--r-- root/root     83953 2024-05-25 12:29 usr/m68k-atari-mint/sys-root/usr/include/gmp.h