Dica: Adicionar mirror alternativo para o playdeb e getdeb

O playdeb e getdeb foram descontinuados, infelizmente, conforme anúncio oficial no Google+: https://plus.google.com/+getdeb/posts/FF1gRuZN7pM É uma pena como um projeto de tanta notoriedade se vai por falta de recursos. Deixo aqui os meus sinceros agradecimentos. Para quem usa o repositório do Playdeb seja pra baixar programas ou jogos, pode estar “contornando a situação”, fazendo o seguinte:…