../ web-7.4.2.tar.gz 23-Dec-2002 16:44 1450914 web2c-7.4.2-etex-2.1.tar.gz 23-Dec-2002 16:45 106001 web2c-7.4.2-omega-1.23.2.tar.gz 23-Dec-2002 16:45 570187 web2c-7.4.2-pdftex-3.14159-1.10a-RC3.tar.gz 23-Dec-2002 16:45 572104 web2c-7.4.2-pdftexlibs.tar.gz 23-Dec-2002 16:46 507679 web2c-7.4.2.tar.gz 23-Dec-2002 16:47 1836319