Update: it seems that the actual (at the time of this edit) version of 64-bit Pi OS is getting packages from Beware that on a 32-bit Pi OS, adding Debian repo as a source and doing an upgrade is known to ruin the system (at least it was the case last time I tried).