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/development/tools/misc/texi2html | |
| 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/development/tools/misc/texi2html')
| -rw-r--r-- | pkgs/development/tools/misc/texi2html/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/tools/misc/texi2html/default.nix b/pkgs/development/tools/misc/texi2html/default.nix index 2089142284f4..7fa604e4af65 100644 --- a/pkgs/development/tools/misc/texi2html/default.nix +++ b/pkgs/development/tools/misc/texi2html/default.nix @@ -4,7 +4,7 @@ stdenv.mkDerivation rec { name = "texi2html-1.82"; src = fetchurl { - url = "http://www.very-clever.com/download/nongnu/texi2html/${name}.tar.bz2"; + url = "mirror://savannah/texi2html/${name}.tar.bz2"; sha256 = "1wdli2szkgm3l0vx8rf6lylw0b0m47dlz9iy004n928nqkzix76n"; }; |