On Sat, Nov 24, 2018 at 07:22:09PM +0100, Jan Betlach wrote: > Because when I tried to add the portslist package, it has not been found ( > ftp.spline.de mirror) yesterday. I have tried adding it again now after > reading you message and it has been successfully installed.
Ah, so your reporting was very sloppy. Mirrors do tend to get out-of-date from time to time.
