Debian can pin packages to certain versions by their numbers (see dpkg(1), '--set-selections') and it does verify package integrity. I can't think of any way to pin a package to a hash like with Bazel or Nix, but the expectation is that packages are not changed after publication in dpkg repositories - and for Debian itself, that expectation is a strictly-followed rule.
Therefore I would trust package pinning to work, but it's not quite as straightforward for the end-user as unique package hashes as identifiers.
Therefore I would trust package pinning to work, but it's not quite as straightforward for the end-user as unique package hashes as identifiers.