../ dot2tex_2.8.7+repack-1.1.diff.gz 27-Sep-2017 14:18 6227 dot2tex_2.8.7+repack-1.1.dsc 27-Sep-2017 14:18 2050 dot2tex_2.8.7+repack-1.1_all.deb 27-Sep-2017 11:52 317K dot2tex_2.8.7+repack.orig.tar.gz 27-Sep-2017 14:18 560K