On Mon, Dec 11, 2023 at 05:30:28PM +0100, Marco Moock wrote: > The name teredo-debian.remlab.net doesn't resolve anymore as the operator > closed down the service. > teredo-debian.remlab.net can be used instead.
You gave the same server name twice here. Which service could work nowadays? C

