MD5 (detex-2.7.tar) = df837b1adb40503f40b94b8169f0e154