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
