Use https rather than http for docker deb repo