mirrors: add osdn mirrors

2019-06-08 23:37:36 -05:00
parent c0eaf5e917
commit b2e56ccea0
1 changed files with 3 additions and 0 deletions
@@ -21,6 +21,9 @@ rec {
  # OSDN (formerly SourceForge.jp).
  osdn = [
    https://osdn.dl.osdn.jp/
    https://osdn.mirror.constant.com/
    https://mirrors.gigenet.com/OSDN/
    https://osdn.dl.sourceforge.jp/
    https://jaist.dl.sourceforge.jp/
  ];