3 ms·

I personally use Debian port names. Debian is pretty sensible about it. Debian uses "amd64" and "arm64".