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
..
2015-09-22 20:23:23 +02:00
2012-05-11 21:42:00 +00:00