diff options
| author | Evgeny Egorochkin <phreedom@yandex.ru> | 2013-07-14 03:31:12 +0300 |
|---|---|---|
| committer | Evgeny Egorochkin <phreedom@yandex.ru> | 2013-07-14 03:31:12 +0300 |
| commit | cea107c07fce8d577c05f177df83c6883cbec75f (patch) | |
| tree | c9813ff808c16554206f54dd81fc6c99859e3836 /pkgs/data | |
| parent | d0b4c8bfaa97c299acf9dfa2dfe710ecf00d8eb9 (diff) | |
More mirror:// URL fixes
Diffstat (limited to 'pkgs/data')
| -rw-r--r-- | pkgs/data/fonts/junicode/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/data/fonts/junicode/default.nix b/pkgs/data/fonts/junicode/default.nix index 1690f82aa37d0..ea579a589c471 100644 --- a/pkgs/data/fonts/junicode/default.nix +++ b/pkgs/data/fonts/junicode/default.nix @@ -4,7 +4,7 @@ stdenv.mkDerivation { name = "junicode-0.6.15"; src = fetchurl { - url = http://prdownloads.sourceforge.net/junicode/junicode-0.6.15.zip; + url = mirror://sourceforge/junicode/junicode-0.6.15.zip; sha256 = "0p16r5s6qwyz0hayb6k61s5r2sfachlx7r6gpqqx5myx6ipbfdns"; }; |