Yes, it probably was, sorry for that. I did not think adding the portslist package is a correct solution as it has not been found, therefore asked here...
Jan On Sat, Nov 24, 2018 at 7:34 PM Marc Espie <es...@nerim.net> wrote: > 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. >
