drwxr-xr-x root/root         0 2019-02-25 01:55 usr/
drwxr-xr-x root/root         0 2019-02-25 01:55 usr/m68k-atari-mint/
drwxr-xr-x root/root         0 2019-02-25 01:55 usr/m68k-atari-mint/sys-root/
drwxr-xr-x root/root         0 2019-02-25 01:55 usr/m68k-atari-mint/sys-root/usr/
drwxr-xr-x root/root         0 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/lib/
-rw-r--r-- root/root     26284 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/lib/libgmpxx.a
drwxr-xr-x root/root         0 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/lib/m5475/
-rw-r--r-- root/root     26400 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/lib/m5475/libgmpxx.a
-rw-r--r-- root/root    545220 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/lib/m5475/libgmp.a
-rw-r--r-- root/root    558518 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/lib/libgmp.a
drwxr-xr-x root/root         0 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/
-rw-r--r-- root/root     26248 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/libgmpxx.a
-rw-r--r-- root/root    498038 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/libgmp.a
drwxr-xr-x root/root         0 2019-02-25 01:55 usr/m68k-atari-mint/sys-root/usr/share/
drwxr-xr-x root/root         0 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/share/info/
-rw-r--r-- root/root      2384 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info.gz
-rw-r--r-- root/root     47978 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info-2.gz
-rw-r--r-- root/root     85904 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info-1.gz
drwxr-xr-x root/root         0 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/include/
-rw-r--r-- root/root    116607 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/include/gmpxx.h
-rw-r--r-- root/root     83685 2019-02-25 01:56 usr/m68k-atari-mint/sys-root/usr/include/gmp.h