Obrigado.

Mais uma coisa a explorar mais tarde.

Eu sabia que havia outros repositórios, mas pensava que eram mirrors do principal, como os do debian, por exemplo. Mas faz sentido que existam uns especializados em alguns assuntos, claro - tal como no debian.