diff options
| author | Jonathan Glines <auntieNeo@gmail.com> | 2014-06-08 11:47:37 -0600 |
|---|---|---|
| committer | Jonathan Glines <auntieNeo@gmail.com> | 2014-06-08 11:47:37 -0600 |
| commit | 0672cfcc5f8bf556905555e111e184bb6df28e7b (patch) | |
| tree | adc6063c25f63788b43bda3934a1351ba3af733e | |
| parent | 1d470d6eacde3977105506ec984370feba4a5d48 (diff) | |
| download | nixlib-0672cfcc5f8bf556905555e111e184bb6df28e7b.tar nixlib-0672cfcc5f8bf556905555e111e184bb6df28e7b.tar.gz nixlib-0672cfcc5f8bf556905555e111e184bb6df28e7b.tar.bz2 nixlib-0672cfcc5f8bf556905555e111e184bb6df28e7b.tar.lz nixlib-0672cfcc5f8bf556905555e111e184bb6df28e7b.tar.xz nixlib-0672cfcc5f8bf556905555e111e184bb6df28e7b.tar.zst nixlib-0672cfcc5f8bf556905555e111e184bb6df28e7b.zip | |
Added mirrors for sourceforge.jp.
| -rw-r--r-- | pkgs/build-support/fetchurl/mirrors.nix | 6 | ||||
| -rw-r--r-- | pkgs/data/fonts/kochi-substitute/default.nix | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/pkgs/build-support/fetchurl/mirrors.nix b/pkgs/build-support/fetchurl/mirrors.nix index eb3b8a105cdb..9a0ced7437b2 100644 --- a/pkgs/build-support/fetchurl/mirrors.nix +++ b/pkgs/build-support/fetchurl/mirrors.nix @@ -20,6 +20,12 @@ rec { http://kent.dl.sourceforge.net/sourceforge/ ]; + # SourceForge.jp. + sourceforgejp = [ + http://osdn.dl.sourceforge.jp/ + http://jaist.dl.sourceforge.jp/ + ]; + # GNU (http://www.gnu.org/prep/ftp.html). gnu = [ # This one redirects to a (supposedly) nearby and (supposedly) up-to-date diff --git a/pkgs/data/fonts/kochi-substitute/default.nix b/pkgs/data/fonts/kochi-substitute/default.nix index f00f855d4909..625955c444db 100644 --- a/pkgs/data/fonts/kochi-substitute/default.nix +++ b/pkgs/data/fonts/kochi-substitute/default.nix @@ -6,7 +6,7 @@ stdenv.mkDerivation { name = "kochi-substitute-${version}"; src = fetchurl { - url = "http://jaist.dl.sourceforge.jp/efont/5411/kochi-substitute-${version}.tar.bz2"; + url = "mirror://sourceforgejp/efont/5411/kochi-substitute-${version}.tar.bz2"; sha256 = "f4d69b24538833bf7e2c4de5e01713b3f1440960a6cc2a5993cb3c68cd23148c"; }; |