../ gnome-tetravex_3.8.0-0ubuntu1.debian.tar.gz 26-Dec-2014 21:44 29255 gnome-tetravex_3.8.0-0ubuntu1.dsc 26-Dec-2014 21:44 2447 gnome-tetravex_3.8.0-0ubuntu1_i386.deb 26-Dec-2014 21:43 1598268 gnome-tetravex_3.8.0.orig.tar.xz 26-Dec-2014 21:44 2380696 gnotravex_3.8.0-0ubuntu1_all.deb 26-Dec-2014 21:44 11206