diff options
| author | Evgeny Egorochkin <phreedom@yandex.ru> | 2013-07-14 05:23:06 +0300 |
|---|---|---|
| committer | Evgeny Egorochkin <phreedom@yandex.ru> | 2013-07-14 05:23:06 +0300 |
| commit | da4be371e97fb6e51c39e1972f78769b98ba47ec (patch) | |
| tree | bbef5aa21ef2677485c8ae5e6f1845f9546c7bef /pkgs/tools/misc/man-db | |
| parent | b084b29d268d534464862860f81426274581c2e6 (diff) | |
| download | nixlib-da4be371e97fb6e51c39e1972f78769b98ba47ec.tar nixlib-da4be371e97fb6e51c39e1972f78769b98ba47ec.tar.gz nixlib-da4be371e97fb6e51c39e1972f78769b98ba47ec.tar.bz2 nixlib-da4be371e97fb6e51c39e1972f78769b98ba47ec.tar.lz nixlib-da4be371e97fb6e51c39e1972f78769b98ba47ec.tar.xz nixlib-da4be371e97fb6e51c39e1972f78769b98ba47ec.tar.zst nixlib-da4be371e97fb6e51c39e1972f78769b98ba47ec.zip | |
make package use mirror:// for gnu, savannah and gnome repositories where possible
Diffstat (limited to 'pkgs/tools/misc/man-db')
| -rw-r--r-- | pkgs/tools/misc/man-db/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/tools/misc/man-db/default.nix b/pkgs/tools/misc/man-db/default.nix index 54367e671ea4..5374cb743618 100644 --- a/pkgs/tools/misc/man-db/default.nix +++ b/pkgs/tools/misc/man-db/default.nix @@ -4,7 +4,7 @@ stdenv.mkDerivation { name = "man-db-2.5.1"; src = fetchurl { - url = http://download.savannah.nongnu.org/releases/man-db/man-db-2.5.1.tar.gz; + url = mirror://savannah/man-db/man-db-2.5.1.tar.gz; sha256 = "178w1fk23ffh8vabj29cn0yyg5ps7bwy1zrrrcsw8aypbh3sfjy3"; }; |