../ LATEST-IS-3.33.90 07-Aug-2019 11:12 913816 gnome-tetravex-3.33.90.news 07-Aug-2019 11:12 352 gnome-tetravex-3.33.90.sha256sum 07-Aug-2019 11:12 190 gnome-tetravex-3.33.90.tar.xz 07-Aug-2019 11:12 913816