Commented out unused debian repositories + Proxy setting for apt.