../ gnome-tetravex_3.18.0-1.debian.tar.xz 07-Oct-2015 00:58 26K gnome-tetravex_3.18.0-1.dsc 07-Oct-2015 00:58 2367 gnome-tetravex_3.18.0-1_mips64el.deb 07-Oct-2015 01:58 1M gnome-tetravex_3.18.0-1_mipsel.deb 07-Oct-2015 02:03 1M gnome-tetravex_3.18.0.orig.tar.xz 07-Oct-2015 00:58 2M gnotravex_3.18.0-1_all.deb 07-Oct-2015 00:58 29K