2008-03-22 14:04:04 +01:00
|
|
|
args: with args;
|
|
|
|
rec {
|
|
|
|
name = "texlive-extra-2007";
|
|
|
|
src = fetchurl {
|
2009-05-11 01:26:19 +02:00
|
|
|
url = mirror://debian/pool/main/t/texlive-extra/texlive-extra_2007.dfsg.17.orig.tar.gz;
|
|
|
|
sha256 = "093i40616vphyxycdi4z55sd2m0qfjypgprm7v182mgf55i2hpzc";
|
2008-03-22 14:04:04 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [texLive];
|
|
|
|
phaseNames = ["doCopy"];
|
2009-05-20 01:25:58 +02:00
|
|
|
doCopy = fullDepEntry (''
|
2008-03-22 14:04:04 +01:00
|
|
|
ensureDir $out/share
|
|
|
|
cp -r texmf* $out/share/
|
|
|
|
'') ["minInit" "doUnpack" "defEnsureDir" "addInputs"];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Extra components for TeXLive";
|
|
|
|
};
|
|
|
|
}
|