В чем разница между ports.ubuntu.com
и us.archive.ubuntu.com
? Я спрашиваю, потому что у меня уже есть apt-mirror для us.archive.ubuntu.com
и я не хочу добавлять ports.ubuntu.com
, если в этом нет необходимости.
У us.archive.ubuntu.com
нет пакетов armhf?