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