On Mon, Nov 30, 2020 at 04:03:25PM +0100, Karsten wrote: > It seems new that the pinning does not automatically update to a newer version when it exists. Yes, that is the idea of pinning. https://www.debian.org/doc/manuals/debian-reference/ch02.en.html#_tweaking_candidate_version