Esse PPA é muito antigo, não tem pacotes disponíveis para 13.10 e mais recentes, então você precisaria compilar as fontes. Você precisa de alguns cabeçalhos e ferramentas para construir o software:
sudo apt-get install aptitude
sudo aptitude install build-essential libgtk-3-dev libgstreamer0.10-dev libsdl1.2-dev
Depois disso, você pode executar ./configure
e criar seus pacotes como de costume:
./configure
[...]
config.status: executing depfiles commands
configure: If you want to use gtkglext, its version should match the gtk version (gtkglext-1.0 for gtk-2.0, gtkglext-3.0 for gtk-3.0)
configure: ******************************************
configure: * Gstreamer version ...............1.0 *
configure: * GTK version .................GTK-3.0 *
configure: * OpenGL support...................SDL *
configure: * JACK support......................NO *
configure: * MULTITOUCH support................NO *
configure: ******************************************
A única coisa que resta é make && make install
. Eu recomendo strongmente a criação de um pacote Debian, assim você pode atualizar / remover facilmente.