../ texk-7.2b.tar.gz 02-Jul-1998 20:10 6251664 texklib-7.0.tar.gz 01-Jul-1998 22:00 3474903 texmflib-7.4.tar.gz 02-Jul-1998 20:12 2279753 web-7.2.tar.gz 11-Mar-1998 19:25 1450510 web2c-7.2b.tar.gz 02-Jul-1998 20:10 1561506