8d044e2e2cbdb39ccb87627f6d5d8dbf12a6f1f4f7b70ba27434d130eba813ab gnome-terminal-3.12.1.news b0fea79b31ff5687c7102dac6da6af8211ddc760aee3dabc6201b7fc139351ed gnome-terminal-3.12.1.changes 7b68714c63ea6bb6eeeeed574b61f1328a7f7dc34a294d0911e9129d888d56c6 gnome-terminal-3.12.1.tar.xz