{stdenv, fetchurl, tetex}:
stdenv.mkDerivation {
name = "lazylist-1.0a";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/lazylist-1.0a.tar.bz2;
md5 = "8ef357df5845bd8d6075fca6e1f214ab";
};
buildInputs = [tetex];
inherit tetex;
}