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