../ tinymux_2.12.0.10-1.debian.tar.xz 27-Jul-2022 17:18 14012 tinymux_2.12.0.10-1.dsc 27-Jul-2022 17:18 1947 tinymux_2.12.0.10-1_amd64.deb 27-Jul-2022 17:39 738844 tinymux_2.12.0.10.orig.tar.bz2 27-Jul-2022 17:18 1100568 tinymux_2.12.0.10.orig.tar.bz2.asc 27-Jul-2022 17:18 833