upgrade texlive-extra to 2013.20140215

The old version (2013.20131112) was no longer available on the debian
mirrors, hence building from source was impossible.
This commit is contained in:
Jason "Don" O'Conal 2014-03-03 16:31:44 +11:00
parent a577082e5e
commit 13979ab58c

View file

@ -1,9 +1,11 @@
args: with args;
rec {
name = "texlive-extra-2013";
name = "texlive-extra-2013";
version = "2013.20140215";
src = fetchurl {
url = mirror://debian/pool/main/t/texlive-extra/texlive-extra_2013.20131219.orig.tar.xz;
sha256 = "09iijzq0y5kq16f3lv2jrln190ldbbzywpwr33hrmnw5yp3izmrh";
url = "mirror://debian/pool/main/t/texlive-extra/texlive-extra_${version}.orig.tar.xz";
sha256 = "04a67pns6q8kw1nl2v6x5p443kvhk8fr26qkcj7z098n68fpwls8";
};
buildInputs = [texLive xz];