deb http://http.debian.net/debian stable main