Um hier den Bezug zu einem anderen Thread (der geschlossen wurde) herzustellen :
Kodi war eine zeitlang bei Packman nicht mehr verfügbar. Da musste man das aus einem anderen Drittanbieter Repository installieren. Mittlerweile gibt es das aber wieder bei Packman. Die Päckmänner haben aber offensichtlich die Webseite nicht komplett aktualisiert. Wenn man die Suchfunktion bei Packman nutzt, sieht man, dass die letzte Änderung angeblich 2015 oder 2016 war. Das stimmt aber nicht.