I ran:
%> sudo add-apt-repository ppa:chris-lea/zeromq %> sudo aptitude update %> sudo aptitude install zeromq3 php-zeromq # result: zeromq3 - no such package found
I tried restarting my system, running sudo apt-get update
, restarting again, but in all cases I get the same package not found result.
I have verified that these packages exist for 12.04 by filtering for Precise
from the "Published in:" dropdown at the Launchpad.net page.
What do?