../ gnome-tetravex_3.14.0-1.debian.tar.xz 03-Oct-2017 12:41 26244 gnome-tetravex_3.14.0-1.dsc 03-Oct-2017 12:41 1742 gnome-tetravex_3.14.0-1_amd64.deb 24-Aug-2017 09:23 1562238 gnome-tetravex_3.14.0-1_i386.deb 24-Aug-2017 09:41 1566010 gnome-tetravex_3.14.0.orig.tar.xz 03-Oct-2017 12:41 2226536 gnotravex_3.14.0-1_all.deb 24-Aug-2017 09:23 29918