../ gnome-tetravex_3.8.1-1.debian.tar.gz 25-May-2013 18:23 29548 gnome-tetravex_3.8.1-1.dsc 25-May-2013 18:23 1716 gnome-tetravex_3.8.1-1_armhf.deb 05-Jul-2013 23:11 1613598 gnome-tetravex_3.8.1.orig.tar.xz 25-May-2013 18:23 2381104 gnotravex_3.8.1-1_all.deb 25-May-2013 18:23 28800