В общем случае (отвечая на ваш вопрос с заголовком): для поиска / добавления ppa вы можете использовать Y PPA Manager.
После добавления обновлений ваших источников и установки пакета из источника, который вы хотите ...