../ texmacs-common_1.0.7.18-1_all.deb 29-Apr-2013 02:33 13753050 texmacs_1.0.7.18-1_amd64.deb 29-Apr-2013 01:34 1767124 texmacs_1.0.7.18-1_i386.deb 29-Apr-2013 02:34 1739832