drwxr-xr-x root/root         0 2024-05-30 16:55 usr/
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/lib/
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/lib/pkgconfig/
-rw-r--r-- root/root       282 2024-05-30 16:55 usr/m68k-atari-mint/lib/pkgconfig/gmpxx.pc
-rw-r--r-- root/root       247 2024-05-30 16:55 usr/m68k-atari-mint/lib/pkgconfig/gmp.pc
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/
-rw-r--r-- root/root     25336 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/libgmpxx.a
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/pkgconfig/
-rw-r--r-- root/root       253 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/pkgconfig/gmpxx.pc
-rw-r--r-- root/root       218 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/pkgconfig/gmp.pc
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/m5475/
-rw-r--r-- root/root     25368 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/m5475/libgmpxx.a
-rw-r--r-- root/root    536934 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/m5475/libgmp.a
-rw-r--r-- root/root    551630 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/libgmp.a
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/
-rw-r--r-- root/root     25296 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/libgmpxx.a
-rw-r--r-- root/root    489362 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/libgmp.a
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/share/
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/share/info/
-rw-r--r-- root/root      2393 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info.gz
-rw-r--r-- root/root     50259 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info-2.gz
-rw-r--r-- root/root     85143 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info-1.gz
drwxr-xr-x root/root         0 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/include/
-rw-r--r-- root/root    129502 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/include/gmpxx.h
-rw-r--r-- root/root     84285 2024-05-30 16:55 usr/m68k-atari-mint/sys-root/usr/include/gmp.h