From b2e56ccea079345db158f829bc636120405b84f6 Mon Sep 17 00:00:00 2001
From: Mario Rodas <marsam@users.noreply.github.com>
Date: Sat, 8 Jun 2019 23:37:36 -0500
Subject: [PATCH] mirrors: add osdn mirrors
---
pkgs/build-support/fetchurl/mirrors.nix | 3 +++
1 file changed, 3 insertions(+)
diff --git a/pkgs/build-support/fetchurl/mirrors.nix b/pkgs/build-support/fetchurl/mirrors.nix
index 664e4d67723..d9e44afb68d 100644
--- a/pkgs/build-support/fetchurl/mirrors.nix
+++ b/pkgs/build-support/fetchurl/mirrors.nix
@@ -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/
];