The kernel tazwok reciept uses git.c3sl.ufpr.br for aufsf info ...? suddenly, it does not has no dns entry on my dns server anymore ... even if the server is down temporarily, wouldn't it have dns entry ...? does anyone know about it? are there any alternative repositories i can use instead?