texlive.bin.src: eradicate the last tug.org download

They're just unstable.
This commit is contained in:
Vladimír Čunát 2016-09-04 11:31:54 +02:00
parent 2217b328f9
commit 1519a7c94b

View file

@ -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 = [