(BIN) dot2tex_2.12.0-2.debian.tar.xz (TXT) dot2tex_2.12.0-2.dsc (BIN) dot2tex_2.12.0-2_all.deb (BIN) dot2tex_2.12.0-3.debian.tar.xz (TXT) dot2tex_2.12.0-3.dsc (BIN) dot2tex_2.12.0-3_all.deb (BIN) dot2tex_2.12.0.orig.tar.gz