drwxr-xr-x root/root         0 2023-02-28 15:40 usr/
drwxr-xr-x root/root         0 2023-02-28 15:41 usr/m68k-atari-mint/
drwxr-xr-x root/root         0 2023-02-28 15:41 usr/m68k-atari-mint/lib/
drwxr-xr-x root/root         0 2023-02-28 15:41 usr/m68k-atari-mint/lib/pkgconfig/
-rw-r--r-- root/root       282 2023-02-28 15:41 usr/m68k-atari-mint/lib/pkgconfig/gmpxx.pc
-rw-r--r-- root/root       247 2023-02-28 15:41 usr/m68k-atari-mint/lib/pkgconfig/gmp.pc
drwxr-xr-x root/root         0 2023-02-28 15:40 usr/m68k-atari-mint/sys-root/
drwxr-xr-x root/root         0 2023-02-28 15:40 usr/m68k-atari-mint/sys-root/usr/
drwxr-xr-x root/root         0 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/
-rw-r--r-- root/root     26804 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/libgmpxx.a
drwxr-xr-x root/root         0 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/pkgconfig/
-rw-r--r-- root/root       253 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/pkgconfig/gmpxx.pc
-rw-r--r-- root/root       218 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/pkgconfig/gmp.pc
drwxr-xr-x root/root         0 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/m5475/
-rw-r--r-- root/root     26920 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/m5475/libgmpxx.a
-rw-r--r-- root/root    556946 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/m5475/libgmp.a
-rw-r--r-- root/root    570824 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/libgmp.a
drwxr-xr-x root/root         0 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/
-rw-r--r-- root/root     26752 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/libgmpxx.a
-rw-r--r-- root/root    508088 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/libgmp.a
drwxr-xr-x root/root         0 2023-02-28 15:40 usr/m68k-atari-mint/sys-root/usr/share/
drwxr-xr-x root/root         0 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/share/info/
-rw-r--r-- root/root      2389 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info.gz
-rw-r--r-- root/root     48495 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info-2.gz
-rw-r--r-- root/root     85903 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info-1.gz
drwxr-xr-x root/root         0 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/include/
-rw-r--r-- root/root    129113 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/include/gmpxx.h
-rw-r--r-- root/root     83952 2023-02-28 15:41 usr/m68k-atari-mint/sys-root/usr/include/gmp.h