MD5 (ptex/mendexk2.4d.tar.gz) = 74c36aeeff187e7208a2fa8c26226f94
MD5 (ptex/web2c-7.2.tar.gz) = 1451b51656d9624bee4052f6688af4cf