Usually yes, but today is just another day that I’m confused for some good reason as this linked package needs to be renamed:
linux-image-librem5_5.17.5pureos1_arm64.deb
/main/l/linux-librem5/linux-image-5.17.0-1-librem5_5.17.5pureos1_arm64.deb
Correct/current/working one (for all):
linux-image-librem5_5.17.3pureos1_arm64.deb
/main/l/linux-librem5/linux-image-librem5_5.17.3pureos1_arm64.deb
And Purism repository maintainers do not need proof from my side anyway, just this note of this very current situation (as-of-20220504).
EDIT:
Related, as kindly recommended, command works as it should:
