MD5 (tgif2tex-2.12.tar.gz) = a32a105acc8761517a200e149eb43743
SIZE (tgif2tex-2.12.tar.gz) = 12408