d8c20aeb2725c6152563af195d17b47a739e50370422d23ccc4a1d3dc58f06bf gnome-tetravex-3.12.3.news 67a31750a22a2a852d2abcd66428c281ce0faadebac884e910d6a1b0c6e21752 gnome-tetravex-3.12.3.tar.xz