../ gnome-tetravex_3.22.0-2.debian.tar.xz 16-Dec-2017 05:49 26900 gnome-tetravex_3.22.0-2.dsc 16-Dec-2017 05:49 2221 gnome-tetravex_3.22.0-2_i386.deb 16-Dec-2017 05:49 1500668 gnome-tetravex_3.22.0.orig.tar.xz 26-Sep-2016 13:44 2170464