From 1519a7c94b50b7852b6023e8b25033aee66d58fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20=C4=8Cun=C3=A1t?= <vcunat@gmail.com>
Date: Sun, 4 Sep 2016 11:31:54 +0200
Subject: [PATCH] texlive.bin.src: eradicate the last tug.org download

They're just unstable.
---
 pkgs/tools/typesetting/tex/texlive/bin.nix | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/pkgs/tools/typesetting/tex/texlive/bin.nix b/pkgs/tools/typesetting/tex/texlive/bin.nix
index 73c342b8008..8d410a6bdb2 100644
--- a/pkgs/tools/typesetting/tex/texlive/bin.nix
+++ b/pkgs/tools/typesetting/tex/texlive/bin.nix
@@ -19,9 +19,10 @@ let
 
   common = rec {
     src = fetchurl {
-      url = "ftp://tug.org/historic/systems/texlive/${year}/texlive-${year}0523-source.tar.xz";
-      sha512 = "9fdd69d237238385240e918456f54791a38e57b573edf5df839c57e56a00090"
-        + "12b68b7b92298c3e137181325e2be84d7a84e9c7cf41ae9739bb3329d84194564";
+      url = # "ftp://tug.org/historic/systems/texlive/${year}/"
+        "http://lipa.ms.mff.cuni.cz/~cunav5am/nix/texlive-2016" # FIXME: a proper mirror
+        + "/texlive-${year}0523b-source.tar.xz";
+      sha256 = "1v91vahxlxkdra0qz3f132vvx5d9cx2jy84yl1hkch0agyj2rcx8";
     };
 
     configureFlags = [