Jetzt die Unklarheit meinerseits: Es müßte / sollte doch auch von dieser Quelle her aktuell gehalten werden, so daß pinning eigentlich überflüssig ist ... ???
Das hätte ich so auch erwartet, aber es gab mal einen Grund warum ich mit dem Pinning überhaupt angefangen habe und der lag entweder bei backports oder dotdeb und ich kann das jetzt alles nicht mehr nachvollziehen. Im Moment habe ich nur noch Pinning für backports an mit 200. Mal sehen, wie es sich verhält.
Mit freundlichen Grüßen / With kind regards Ronny Seffner