../ LATEST-IS-3.10.1 14-Oct-2013 20:00 2329220 gnome-tetravex-3.10.0.news 23-Sep-2013 14:24 68 gnome-tetravex-3.10.0.sha256sum 23-Sep-2013 14:24 188 gnome-tetravex-3.10.0.tar.xz 23-Sep-2013 14:24 2335404 gnome-tetravex-3.10.1.news 14-Oct-2013 20:00 182 gnome-tetravex-3.10.1.sha256sum 14-Oct-2013 20:00 188 gnome-tetravex-3.10.1.tar.xz 14-Oct-2013 20:00 2329220