Dear all, I'm behind a proxy that only allows HTTPS. On https://www.debian.org/mirror/list, it would be great to list the mirrors that offer HTTPS (*). Best regards, --Martin (*) I've just used https://mirrors.kernel.org/debian/