Sua formatação está correta, é o servidor que está tendo o problema. Este não é o único PPA afetado agora, como acabei de responder outra pergunta que está tendo o mesmo problema: Problema adicionando ppa's
Eu sugeriria tentar novamente mais tarde, ou talvez amanhã.