On 07/06/2018 08:51 AM, Rick Thomas wrote: >> The new sources.list should look like: > > Will these be available from the usual mirror sites?
No, Debian Ports is not mirrored on all usual Debian mirrors as it's a completely independent archive. See: https://www.ports.debian.org/mirrors Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - [email protected] `. `' Freie Universitaet Berlin - [email protected] `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
