../ gnome-tetravex_3.22.0-3.debian.tar.xz 25-Dec-2018 22:02 26856 gnome-tetravex_3.22.0-3.dsc 25-Dec-2018 22:02 2245 gnome-tetravex_3.22.0-3_amd64.deb 25-Dec-2018 22:47 1520236 gnome-tetravex_3.22.0.orig.tar.xz 21-Sep-2016 21:12 2170464