../ LATEST-IS-3.18.0 22-Sep-2015 02:46 2193776 gnome-tetravex-3.18.0.news 22-Sep-2015 02:46 85 gnome-tetravex-3.18.0.sha256sum 22-Sep-2015 02:46 188 gnome-tetravex-3.18.0.tar.xz 22-Sep-2015 02:46 2193776