On 25 June 2018 at 22:07, Jim Price <d1version at hotmail.com> wrote: > ... > Lesson learned - don't just delete PPAs which have been disabled by a > dist-upgrade. That's true, but in fact the better lesson is to purge ppas before upgrading and then put them back again. Colin