Poradziłem sobie poprzez zmianę serwera. Swoją drogą - w jakich sytuacjach dochodzi do tego, że na jednym serwerze pobierania brakuje niektórych pakietów?
Panowie, ja już kilka lat siedzę na Ubuntu i o poleceniu
sudo apt-get update
pamiętam. Wykonałem je natychmiast po dodaniu repo. Pakiety xbmc pobrały się bez problemu, lecz tych dwóch z mojego pierwszego posta pobrać nie było można. Nie były dostępne na serwerze pobierania. Zmieniłem ten serwer na “Główny” i od razu zaskoczyło. Może akurat starsze ich wersje były z serwera usunięte, a nowsze jeszcze nie zostały umieszczone.