amd64 debs aren't yet available from my mirror (ftp.fi.debian.org) for some reason, do they show up in other places?