Use HTTPS for PyPI