total 5.1M
-rwxr-xr-x 1 duitser club 2.3M May 2 10:21 bison
-rwxr-xr-x 1 duitser club 835K May 2 10:15 flex
lrwxrwxrwx 1 duitser club 4 May 2 10:15 flex++ -> flex
-rwxr-xr-x 1 duitser club 1.4M May 2 10:23 info
-rwxr-xr-x 1 duitser club 540K May 2 10:23 install-info
lrwxrwxrwx 1 duitser club 8 May 2 10:23 makeinfo -> texi2any
-rwxr-xr-x 1 duitser club 1.3K May 2 10:23 pdftexi2dvi
-rwxr-xr-x 1 duitser club 20K May 2 10:23 pod2texi
lrwxrwxrwx 1 duitser club 60 May 2 10:24 ptxdist -> /home/duitser/lib/ptxdist-2019.12.0/bin/ptxdist-auto-version
lrwxrwxrwx 1 duitser club 47 May 2 10:24 ptxdist-2019.12.0 -> /home/duitser/lib/ptxdist-2019.12.0/bin/ptxdist
-rwxr-xr-x 1 duitser club 51K May 2 10:23 texi2any
-rwxr-xr-x 1 duitser club 60K May 2 10:23 texi2dvi
-rwxr-xr-x 1 duitser club 1.3K May 2 10:23 texi2pdf
-rwxr-xr-x 1 duitser club 4.0K May 2 10:23 texindex
-rwxr-xr-x 1 duitser club 4.2K May 2 10:21 yacc