a7f3de50a5e952617f2fbc3c3a1300a9e6692f7f15baaabdfa88f938a3e2f0c4 gnome-terminal-3.12.2.changes ea19ce610af2873d26e1e75491415e17af6a5080366db966f9220fdeea5ebecd gnome-terminal-3.12.2.tar.xz