Thanks for your reply.
If this is all the content from sources.list, that is a bit odd. Is there anything in /etc/apt/sources.list.d/ that contains additional sources?
Thanks for your reply.
If this is all the content from sources.list, that is a bit odd. Is there anything in /etc/apt/ sources. list.d/ that contains additional sources?