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