I am running 13.04. The system is new, just installed.
I want to install package zeromq3 from PPA https://launchpad.net/~chris-lea/+archive/zeromq?field.series_filter=raring.
sudo add-apt-repository ppa:chris-lea/zeromq sudo apt-get update
No problems, no errors.
Checking the repository was added:
deb http://ppa.launchpad.net/chris-lea/zeromq/ubuntu raring main
# deb-src http://ppa.launchpad.net/chris-lea/zeromq/ubuntu raring main
Checking the key was added:
sudo apt-key list
... lot of lines...
pub 1024R/C7917B12 2010-05-17
uid Launchpad chrislea
The key is correct, the same which is on the PPA page. The repo was added to sources. Looks good!
Trying to install:
apt-cache search zeromq3
This command returns nothing.
I was trying in Virtualbox and on real machine. I ran
sudo apt-get clean and
sudo apt-get autoclean. I also tried another PPA from Launchapd but that does not work either.
What's wrong? Why can't the package be found?