In case it doesn't, click here: http://download.gna.org/gaupol/0.22/gaupol-0.22.tar.xz.
An application to use multiple GNOME terminals in one window.
A tool to launch applications remotely on your PC via your Android device.
