diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2014-11-16 11:10:31 +0300 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2014-11-16 11:10:31 +0300 |
commit | ee9e181ac6b4991d6e548b3a34a6d633a0cb8698 (patch) | |
tree | a33180a1ba4bcadf87a8c500d7e5ac1b70817f1b /pkgs | |
parent | cee91fe78952ff3532753bfcb662a24cbdf7381b (diff) | |
download | nixlib-ee9e181ac6b4991d6e548b3a34a6d633a0cb8698.tar nixlib-ee9e181ac6b4991d6e548b3a34a6d633a0cb8698.tar.gz nixlib-ee9e181ac6b4991d6e548b3a34a6d633a0cb8698.tar.bz2 nixlib-ee9e181ac6b4991d6e548b3a34a6d633a0cb8698.tar.lz nixlib-ee9e181ac6b4991d6e548b3a34a6d633a0cb8698.tar.xz nixlib-ee9e181ac6b4991d6e548b3a34a6d633a0cb8698.tar.zst nixlib-ee9e181ac6b4991d6e548b3a34a6d633a0cb8698.zip |
Add a working module-init-tools manual Gentoo mirror
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/os-specific/linux/module-init-tools/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/os-specific/linux/module-init-tools/default.nix b/pkgs/os-specific/linux/module-init-tools/default.nix index 240150b09ddb..4877a2c77946 100644 --- a/pkgs/os-specific/linux/module-init-tools/default.nix +++ b/pkgs/os-specific/linux/module-init-tools/default.nix @@ -12,7 +12,10 @@ stdenv.mkDerivation { # Upstream forgot to include the generated manpages. Thankfully # the Gentoo people fixed this for us :-) (fetchurl { - url = mirror://gentoo/distfiles/module-init-tools-3.16-man.tar.bz2; + urls = [ + mirror://gentoo/distfiles/module-init-tools-3.16-man.tar.bz2 + http://mirror.meleeweb.net/pub/linux/gentoo/distfiles/module-init-tools-3.16-man.tar.bz2 + ]; sha256 = "1j1nzi87kgsh4scl645fhwhjvljxj83cmdasa4n4p5krhasgw358"; }) ]; |