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
..
boot.nix
builder.sh
default.nix
mirrors.nix	Python: use PyPI mirror (#15001)	2016-04-26 13:38:03 +01:00
write-mirror-list.sh