MD5 (dot2tex-2.8.7.zip) = a306d58ef6fe79e6fe876a242b0cbef5
SHA256 (dot2tex-2.8.7.zip) = 6bac96a242553060af8a0f40af9d3a2c31d190173311f28600a09c1aac32b7f8
SIZE (dot2tex-2.8.7.zip) = 592439