Eu resolvi o problema. Não foi um problema de MyPaint, mas algo a ver com GPG e PPA. Eu segui esta resposta .
Primeiro fiz sudo apt-get update e recebi o erro simialr para isso

e,emseguida,foiparasoftwareandupdates>OthersoftwaresedesmarcoutodososerrosquecausamPPAs
Então, quando eu atualizei o sudo apt-get update , ele mostrou um erro adicional em GPG error...NO_PUBKEY . Isso foi resolvido por
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys <PUBKEY>