MD5 (detex-2.7.tar) = 2f4f99e7d1c6829053ca2c78d7e6b774