TeX TeX and related tools 11883513 Included are TeX, fonts, xdvi, dvips and texinfo. XXX tex 3.1415 bin 2268881 59 tex-lib 6.4 bin 7847655 805 tex-pk300 1 bin 554941 85 xdvik 1.8f bin 298291 7 dvipsk 5.55a bin 558930 210 texinfo 3.1 bin 354815 20