wenn es ppm4 ist, kannst du das repository auch in den Einstellungen eintragen (ich hab hier nur ppm3, kann die also grad nicht sagen wo genau) und wegen dem 10xx musst du halt gucken ob deine version 5.10 ist, auf der Seite steht auch wo die für andere versionen zu finden ist.