Please update https://www.debian.org/ports/

[Jeffrey Walton <noloader@gmail.com>]

Hi Everyone,

https://www.debian.org/ports/ is wreaking havoc on unsuspecting users
who try to setup a Qemu/Chroot. For example, armhhf is listed as a
port but it is no longer a port per [1]. It leads to a lot of
problems, like Debian's infamous "Release signed by unknown key (key
id E852514F5DF312F6)" (the key id changes, but the problem remains the
same).

According to one of the Debian folks, "If there's still documentation
out there that suggests using the ports.d.o archive for armhf then
it's _very_ out of date and may well have other issues."

Please update https://www.debian.org/ports/.

Thanks in advance.

[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005249