../ texk-7.2b.tar.gz 02-Jul-1998 20:10 6M texklib-7.0.tar.gz 01-Jul-1998 22:00 3M texmflib-7.4.tar.gz 02-Jul-1998 20:12 2M web-7.2.tar.gz 11-Mar-1998 19:25 1M web2c-7.2b.tar.gz 02-Jul-1998 20:10 1M