si va bene quello

scarica la pagina comunque e mettila direttamente come source.list

facendolo manualmente possono crearsi problemi e non ri riconosce esattamente i vari server