diff options
author | Evgeny Egorochkin <phreedom@yandex.ru> | 2013-07-14 04:17:07 +0300 |
---|---|---|
committer | Evgeny Egorochkin <phreedom@yandex.ru> | 2013-07-14 04:17:07 +0300 |
commit | b084b29d268d534464862860f81426274581c2e6 (patch) | |
tree | 102a2da31c429587bd74cae8f7c1e386823b078d /pkgs/tools/networking/philter | |
parent | cea107c07fce8d577c05f177df83c6883cbec75f (diff) |
Even more mirror:// fixes
Diffstat (limited to 'pkgs/tools/networking/philter')
-rw-r--r-- | pkgs/tools/networking/philter/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/tools/networking/philter/default.nix b/pkgs/tools/networking/philter/default.nix index 7457a72b5d50d..af5b9aacffccf 100644 --- a/pkgs/tools/networking/philter/default.nix +++ b/pkgs/tools/networking/philter/default.nix @@ -13,7 +13,7 @@ let baseName="philter"; version="1.1"; name="${baseName}-${version}"; - url="http://prdownloads.sourceforge.net/${baseName}/${name}.tar.gz"; + url="mirror://sourceforge/${baseName}/${name}.tar.gz"; hash="177pqfflhdn2mw9lc1wv9ik32ji69rjqr6dw83hfndwlsva5151l"; }; in |