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	…