This is because the xapian index is not rebuilt after a new repo is added. As a workaround you can run sudo update-apt-xapian-index
This is because the xapian index is not rebuilt after a new repo is added. As a workaround you can run sudo update- apt-xapian- index