../ texmacs-common_1.0.7.15-2_all.deb 20-Jul-2012 04:17 12940704 texmacs_1.0.7.15-2.diff.gz 20-Jul-2012 04:17 33468 texmacs_1.0.7.15-2.dsc 20-Jul-2012 04:17 1422 texmacs_1.0.7.15-2_armhf.deb 30-Jul-2012 22:03 2125470 texmacs_1.0.7.15.orig.tar.gz 19-Apr-2012 03:48 15128281