MD5 dba257433562c3a5a33206ecb1157a74 ptex-src-3.1.2.tar.gz 120185
MD5 d0c01d4114dde202e96c97b1a2ef8523 ptex-texmf-2.1.tar.gz 1864219
MD5 a16f6bba227d55e79aeee46fbbd82d28 tetex-src-2.0.2.tar.gz 11745933
MD5 d3bdb96f9077e43b2115d3cc471743b3 tetex-texmf-2.0.2.tar.gz 52424280
MD5 a072a2196015caa15834522728a91a78 dvipsk-jpatch-p1.6.tar.gz 28637