The repos you linked to are datacenter repos: the status of DC drivers is different than that of desktop graphic drivers as they are focused on compute workloads.
Unfortunately v580 is unlikely to be provided for D-13 because of the reasons I mentioned here:
If you need v580 to for older cards, a hacky workaround is to use the packages from the D-12 repo as described on the Debian wiki, DC section, D-13 subsection: NvidiaGraphicsDrivers - Debian Wiki