On 2025-03-13, <tomas@tuxteam.de> <tomas@tuxteam.de> wrote: > > You don't need apt-file update anymore. Apt update or apt-get update do > the trick. (Apt-file update won't hurt, though). Maybe you could fix the wiki in this case. https://wiki.debian.org/apt-file