ports.ubuntu.com is NOT a mirror of the main archive, it's a separate distribution channel for less-common architectures.
If in doubt, use archive.ubuntu.com.
ports.ubuntu.com is NOT a mirror of the main archive, it's a separate distribution channel for less-common architectures.
If in doubt, use archive.ubuntu.com.