../ tinymux_2.10.1.14-1.debian.tar.xz 03-Oct-2017 17:34 13432 tinymux_2.10.1.14-1.dsc 03-Oct-2017 17:34 2097 tinymux_2.10.1.14-1_amd64.deb 03-Oct-2017 18:14 699436 tinymux_2.10.1.14.orig.tar.bz2 03-Oct-2017 17:34 1058033 tinymux_2.10.1.14.orig.tar.bz2.asc 03-Oct-2017 17:34 833