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