Я рекомендую использовать «Y PPA Manager», который имеет (среди прочего) одну отличную функцию: он может перечислить все пакеты из ppa, включенного на вашем компьютере.