../ gnome-tetravex_3.14.0-1.debian.tar.xz 26-Sep-2014 08:45 26244 gnome-tetravex_3.14.0-1.dsc 26-Sep-2014 08:45 1742 gnome-tetravex_3.14.0-1_armhf.deb 10-Oct-2014 17:10 1559828 gnome-tetravex_3.14.0.orig.tar.xz 26-Sep-2014 08:45 2226536 gnotravex_3.14.0-1_all.deb 26-Sep-2014 08:45 29918