MD5 (ptex/mendexk2.4c.tar.gz) = c28f065f6bb7bc6b8a926f715f8bb3ec
MD5 (ptex/web2c-7.2.tar.gz) = 1451b51656d9624bee4052f6688af4cf