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>Othersoftwares
edesmarcoutodososerrosquecausamPPAs
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>