Frederik Rietdijk d5e6a4494a Python: use PyPI mirror (#15001) ...

* mirrors: add pypi

* Python: Use pypi mirror for all PyPI packages

2016-04-26 13:38:03 +01:00

..

default.nix

…