drwxr-xr-x root/root         0 2018-11-23 08:34 usr/
drwxr-xr-x root/root         0 2018-11-23 08:34 usr/m68k-atari-mint/
drwxr-xr-x root/root         0 2018-11-23 08:34 usr/m68k-atari-mint/sys-root/
drwxr-xr-x root/root         0 2018-11-23 08:34 usr/m68k-atari-mint/sys-root/usr/
drwxr-xr-x root/root         0 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/lib/
-rw-r--r-- root/root     26284 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/lib/libgmpxx.a
drwxr-xr-x root/root         0 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/lib/m5475/
-rw-r--r-- root/root     26400 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/lib/m5475/libgmpxx.a
-rw-r--r-- root/root    545924 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/lib/m5475/libgmp.a
-rw-r--r-- root/root    558082 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/lib/libgmp.a
drwxr-xr-x root/root         0 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/
-rw-r--r-- root/root     26248 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/libgmpxx.a
-rw-r--r-- root/root    497730 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/lib/m68020-60/libgmp.a
drwxr-xr-x root/root         0 2018-11-23 08:34 usr/m68k-atari-mint/sys-root/usr/share/
drwxr-xr-x root/root         0 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/share/info/
-rw-r--r-- root/root      2384 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info.gz
-rw-r--r-- root/root     47978 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info-2.gz
-rw-r--r-- root/root     85904 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/share/info/gmp.info-1.gz
drwxr-xr-x root/root         0 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/include/
-rw-r--r-- root/root    116607 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/include/gmpxx.h
-rw-r--r-- root/root     83685 2018-11-23 08:35 usr/m68k-atari-mint/sys-root/usr/include/gmp.h