Не удается установить пакет zeromq из chris-lea / zeromq в 12.04

Я побежал:

%> sudo add-apt-repository ppa:chris-lea/zeromq %> sudo aptitude update %> sudo aptitude install zeromq3 php-zeromq # result: zeromq3 - no such package found

Я попробовал перезагрузить мою систему, запустив sudo apt-get update, снова перезапустив, но во всех случаях я получаю тот же пакет, что и не найденный результат.

Я проверял, что эти пакеты существуют для 12.04 путем фильтрации для Precise из раскрывающегося списка «Опубликовано в:» на странице Launchpad.net.

Что делать?