MD5 (ptex/web2c-7.2.tar.gz) = 1451b51656d9624bee4052f6688af4cf
MD5 (ptex/web-7.2.tar.gz) = e1ef22e0a79f9f0170730531b242f7f1
MD5 (ptex/texmflib-7.3.tar.gz) = 6ad489dab000f5830aa78b17c362a97a