Ah I see. The production release is blocked by glibc-2.41+, meaning cuda v580 can’t build easily for debian13 (I wonder if the patch given at "error: exception specification is incompatible" for cospi/sinpi/cospif/sinpif with glibc-2.41 - #3 by stefantalpalaru is all that it needs). Thanks for pointing out the context for the missing production driver.
Thanks also for pointing out the workaround with the debian12 repo. I can confirm it does still work (and even with debian unstable). A little annoying to lose the security of the apt key, but the required allow-insecure=yes option can be easily enough configured into the debian12 repo definition in /etc/apt/sources.list, so the standard debian repo continues using its secure signatures,
deb [signed-by=/usr/share/keyrings/cuda-archive-keyring.gpg allow-insecure=yes] https://developer.download.nvidia.com/compute/cuda/repos/debian12/x86_64/ /