../ texmacs-common_1.0.7.18-1_all.deb 26-Oct-2019 20:00 13753050 texmacs_1.0.7.18-1_amd64.deb 26-Oct-2019 17:41 1767124 texmacs_1.0.7.18-1_i386.deb 26-Oct-2019 13:16 1739832