drwxr-xr-x root/root         0 2018-11-23 08:39 usr/
drwxr-xr-x root/root         0 2018-11-23 08:39 usr/m68k-atari-mintelf/
drwxr-xr-x root/root         0 2018-11-23 08:39 usr/m68k-atari-mintelf/sys-root/
drwxr-xr-x root/root         0 2018-11-23 08:39 usr/m68k-atari-mintelf/sys-root/usr/
drwxr-xr-x root/root         0 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/lib/
-rw-r--r-- root/root    248962 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/lib/libgmpxx.a
drwxr-xr-x root/root         0 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/lib/m5475/
-rw-r--r-- root/root    249170 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/lib/m5475/libgmpxx.a
-rw-r--r-- root/root   4587722 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/lib/m5475/libgmp.a
-rw-r--r-- root/root   4574670 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/lib/libgmp.a
drwxr-xr-x root/root         0 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/lib/m68020-60/
-rw-r--r-- root/root    248998 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/lib/m68020-60/libgmpxx.a
-rw-r--r-- root/root   4415134 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/lib/m68020-60/libgmp.a
drwxr-xr-x root/root         0 2018-11-23 08:39 usr/m68k-atari-mintelf/sys-root/usr/share/
drwxr-xr-x root/root         0 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/share/info/
-rw-r--r-- root/root      2384 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/share/info/gmp.info.gz
-rw-r--r-- root/root     47978 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/share/info/gmp.info-2.gz
-rw-r--r-- root/root     85904 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/share/info/gmp.info-1.gz
drwxr-xr-x root/root         0 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/include/
-rw-r--r-- root/root    116607 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/include/gmpxx.h
-rw-r--r-- root/root     83712 2018-11-23 08:40 usr/m68k-atari-mintelf/sys-root/usr/include/gmp.h