../ gnome-tetravex_3.22.0-1.debian.tar.xz 21-Sep-2016 21:12 26716 gnome-tetravex_3.22.0-1.dsc 21-Sep-2016 21:12 2240 gnome-tetravex_3.22.0-1_amd64.deb 21-Sep-2016 23:13 1520536 gnome-tetravex_3.22.0-1_i386.deb 21-Sep-2016 23:23 1524096 gnome-tetravex_3.22.0.orig.tar.xz 21-Sep-2016 21:12 2170464