pythonPackages: use a more direct mirror (#22833)

The pypi.io domain is redirected two (!) times and lands on the URL added by
this commit.
This commit is contained in:
Profpatsch 2017-02-15 15:40:31 +01:00 committed by GitHub
parent 2155b1eaba
commit 21cdf340db

View file

@ -387,6 +387,9 @@ rec {
# Python PyPI mirrors
pypi = [
https://files.pythonhosted.org/packages/source/
# pypi.io is a more semantic link, but atm its referencing
# files.pythonhosted.org over two redirects
https://pypi.io/packages/source/
];