On 2020-04-21 13:02, Gregor Riepl wrote:
Ah well, that certainly explains that. Seems deb-src does not exist either.I think you should use the regular Debian source repo. There is no "special" ports source repo.
OKay, thank you. That seems to work great. Dennis
