../ latexml_0.7.0-1.debian.tar.gz 02-Nov-2010 14:06 3011 latexml_0.7.0-1.dsc 02-Nov-2010 14:06 1043 latexml_0.7.0-1_all.deb 03-Nov-2010 01:07 641K latexml_0.7.0.orig.tar.gz 02-Nov-2010 14:06 1M latexml_0.8.0-1.debian.tar.xz 14-May-2014 11:13 3324 latexml_0.8.0-1.dsc 14-May-2014 11:13 1257 latexml_0.8.0-1_all.deb 14-May-2014 11:23 896K latexml_0.8.0.orig.tar.gz 14-May-2014 11:13 6M