2006-01-27 21:51:41 +01:00
|
|
|
{stdenv, fetchurl, tetex, lazylist}:
|
|
|
|
|
2009-05-12 14:50:07 +02:00
|
|
|
#assert tetex == lazylist.tetex;
|
2006-01-27 21:51:41 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "polytable-0.8.2";
|
|
|
|
builder = ./builder.sh;
|
|
|
|
|
|
|
|
src = fetchurl {
|
2007-08-24 14:32:36 +02:00
|
|
|
url = http://www.iai.uni-bonn.de/~loeh/polytable-0.8.2.tar.gz;
|
2006-01-27 21:51:41 +01:00
|
|
|
md5 = "c59edf035ae6e19b64b1ae920fea28e7";
|
|
|
|
};
|
|
|
|
|
2007-03-12 13:56:06 +01:00
|
|
|
buildInputs = [tetex];
|
|
|
|
propagatedBuildInputs = [lazylist];
|
2007-08-24 22:15:00 +02:00
|
|
|
propagatedUserEnvPackages = [lazylist];
|
2006-01-27 21:51:41 +01:00
|
|
|
|
|
|
|
inherit tetex;
|
|
|
|
}
|