7bd85959e4c8bb3124f78fcb8cf0d70a76df51e4a1e81b510f7a2b147c96f0f6 gnome-terminal-2.25.3-2.25.5.diff.gz 561f0f401b01439702b88ff6c4c26b6c63374393a0090cbc4e5acefc6ace9346 gnome-terminal-2.25.5.changes 6fe843aa5e866802e4b4010663bd341368cfaf3979de248b4317e3ed268ede21 gnome-terminal-2.25.5.tar.bz2 eca9d2d310e7b724674f5b227a9667581c996337232c7e9a2091d5ff2cb45e3c gnome-terminal-2.25.5.tar.gz