diff options
Diffstat (limited to 'pkgs/development/tools/misc/texi2html/default.nix')
| -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 2089142284f..7fa604e4af6 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"; }; |