On Mon, Oct 11, 2021 at 6:41 PM Samuel Thibault <sthibault@debian.org> wrote: > Diversions show up in /var/lib/dpkg/diversions. There's nothing about libkrb5 in there :| Are there any other tools left to investigate why dpkg is fine with this, and where libkrb5.so.3.3~0 comes from? Should I just forcefully delete libkrb5.so.3.3~0 along with the symlink, and reinstall the package again? Sergey