6133f6a907690d18a09d2228d56cd764 gnome-terminal-2.13.1-2.13.2.diff.gz c405b2258b589ed81070d2b504b20fca gnome-terminal-2.13.2.changes 41fc9b6d242f3e3356a34461592043df gnome-terminal-2.13.2.news a7e43c966c0c871386a91b790c03a560 gnome-terminal-2.13.2.tar.bz2 de326afc24b9f099a1bcfe1abd85aa29 gnome-terminal-2.13.2.tar.gz