total 48K
-rw-r--r-- 1 duitser club 7.3K May 2 10:15 libfl.a
-rwxr-xr-x 1 duitser club 926 May 2 10:15 libfl.la
lrwxrwxrwx 1 duitser club 14 May 2 10:15 libfl.so -> libfl.so.2.0.0
lrwxrwxrwx 1 duitser club 14 May 2 10:15 libfl.so.2 -> libfl.so.2.0.0
-rwxr-xr-x 1 duitser club 18K May 2 10:15 libfl.so.2.0.0
-rw-r--r-- 1 duitser club 11K May 2 10:21 liby.a
drwxr-xr-x 13 duitser club 4.0K May 2 10:24 ptxdist-2019.12.0
drwxr-xr-x 2 duitser club 124 May 2 10:23 texinfo