diff options
author | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2016-04-26 14:38:03 +0200 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2016-04-26 13:38:03 +0100 |
commit | d5e6a4494a2eb00e52b309fc7a196d84ff8625ec (patch) | |
tree | 190f097587735bc3762c65d3c1690c4f30b01c1f /pkgs/development/arduino | |
parent | ae8a3a14f03cda32340dd55905b4d8c1b18b0446 (diff) |
Python: use PyPI mirror (#15001)
* mirrors: add pypi
* Python: Use pypi mirror for all PyPI packages
Diffstat (limited to 'pkgs/development/arduino')
-rw-r--r-- | pkgs/development/arduino/ino/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/arduino/ino/default.nix b/pkgs/development/arduino/ino/default.nix index 073a2339720d..07dc229bcc2a 100644 --- a/pkgs/development/arduino/ino/default.nix +++ b/pkgs/development/arduino/ino/default.nix @@ -6,7 +6,7 @@ buildPythonApplication rec { namePrefix = ""; src = fetchurl { - url = "http://pypi.python.org/packages/source/i/ino/${name}.tar.gz"; + url = "mirror://pypi/i/ino/${name}.tar.gz"; sha256 = "0k6lzfcn55favbj0w4afrvnmwyskf7bgzg9javv2ycvskp35srwv"; }; |