MD5 (ptex/mendexk2.4b.tar.gz) = 706d00d359131a4e4a08dd985714bbb2
MD5 (ptex/web2c-7.2.tar.gz) = 1451b51656d9624bee4052f6688af4cf