../ gnome-tetravex_3.20.0-2~ubuntu16.04.1.debian.ta..> 01-Oct-2018 22:02 26704 gnome-tetravex_3.20.0-2~ubuntu16.04.1.dsc 01-Oct-2018 22:02 1342 gnome-tetravex_3.20.0-2~ubuntu16.04.1_mips64el.deb 11-May-2017 04:56 1521878 gnome-tetravex_3.20.0.orig.tar.xz 01-Oct-2018 22:02 2162348