Python: use PyPI mirror (#15001)

* mirrors: add pypi * Python: Use pypi mirror for all PyPI packages
2016-04-26 13:38:03 +01:00
parent ae8a3a14f0
commit d5e6a4494a
32 changed files with 1030 additions and 1025 deletions
@@ -340,4 +340,9 @@ rec {
    http://repo.steampowered.com/steamrt/
    https://abbradar.net/steamrt/
  ];
+
+  # Python PyPI mirrors
+  pypi = [
+    https://pypi.io/packages/source/
+  ];
 }