Updated TeXLive source URLs. Converted everything to mirror://debian, switched to dfsg.1.orig where orig unavailable

svn path=/nixpkgs/trunk/; revision=11493
This commit is contained in:
Michael Raskin 2008-04-08 18:00:47 +00:00
parent 2b9c9ab559
commit 44644a059f
6 changed files with 8 additions and 7 deletions

View File

@ -2,7 +2,7 @@ args: with args;
rec {
name = "texlive-beamer-2007";
src = fetchurl {
url = http://ftp.de.debian.org/debian/pool/main/l/latex-beamer/latex-beamer_3.07.orig.tar.gz;
url = mirror://debian/pool/main/l/latex-beamer/latex-beamer_3.07.orig.tar.gz;
sha256 = "07ldhg5f0hcnhjgzg5g8ailqacn8zhqc8nl2jkxc43c2qxbvswbv";
};

View File

@ -2,7 +2,7 @@ args: with args;
rec {
name = "texlive-cm-super-2007";
src = fetchurl {
url = ftp://195.178.192.118/debian/pool/main/c/cm-super/cm-super_0.3.3.orig.tar.gz;
url = mirror://debian/pool/main/c/cm-super/cm-super_0.3.3.orig.tar.gz;
sha256 = "1lxvnhqds2zi6ssz66r1b7s6p855lab7cgp0hdg247zkacbjxcfg";
};

View File

@ -1,8 +1,8 @@
args : with args;
rec {
src = fetchurl {
url = mirror://debian/pool/main/t/texlive-bin/texlive-bin_2007.orig.tar.gz;
sha256 = "1fz5lqbigdrdg0pmaynissd7wn59p2yj9f203nl93dcpffrapxjv";
url = mirror://debian/pool/main/t/texlive-bin/texlive-bin_2007.dfsg.1.orig.tar.gz;
sha256 = "17wdn9vl4pa897046jpzxl6bl2ppr7swwb8x0jafwvbcnmywndag";
};
texmfSrc = fetchurl {
@ -81,3 +81,4 @@ rec {
srcs = [texmfSrc langTexmfSrc];
};
}

View File

@ -2,7 +2,7 @@ args: with args;
rec {
name = "texlive-extra-2007";
src = fetchurl {
url = ftp://ftp.ru.debian.org/debian/pool/main/t/texlive-extra/texlive-extra_2007.dfsg.1.orig.tar.gz;
url = mirror://debian/pool/main/t/texlive-extra/texlive-extra_2007.dfsg.1.orig.tar.gz;
sha256 = "1440495dcsrwhnz1p1prs4rf84ca0v7fjwg7sdw7isnprnpiq7w5";
};

View File

@ -2,7 +2,7 @@ args: with args;
rec {
name = "texlive-pgf-2007";
src = fetchurl {
url = http://ftp.de.debian.org/debian/pool/main/p/pgf/pgf_1.18.orig.tar.gz;
url = mirror://debian/pool/main/p/pgf/pgf_1.18.orig.tar.gz;
sha256 = "1fk0m3rqsgdrxp2n6mbhh92819g1133w67lbgk66pqgspbrnk6h2";
};

View File

@ -2,7 +2,7 @@ args: with args;
rec {
name = "texlive-latex-xcolor-2007";
src = fetchurl {
url = http://ftp.de.debian.org/debian/pool/main/l/latex-xcolor/latex-xcolor_2.11.orig.tar.gz;
url = mirror://debian/pool/main/l/latex-xcolor/latex-xcolor_2.11.orig.tar.gz;
sha256 = "0z78xfn5iq5ncg82sd6v2qrxs8p9hs3m4agaz90p4db5dvk2w0mn";
};