../ LATEST-IS-3.20.0 22-Mar-2016 04:06 2162348 gnome-tetravex-3.20.0.news 22-Mar-2016 04:06 46 gnome-tetravex-3.20.0.sha256sum 22-Mar-2016 04:06 188 gnome-tetravex-3.20.0.tar.xz 22-Mar-2016 04:06 2162348