Ralf Nolden wrote:
just finished uploading a set of new debs. These should fix some issues that were remaining, plus I added some more apps.Thanks so much. My frequent 'apt-get update's found this a few minutes ago and I am installing right now.
Paul Scott