../ texmacs-extra-fonts_0.2.dsc 21-Oct-2015 15:09 584 texmacs-extra-fonts_0.2.tar.gz 21-Oct-2015 15:09 5M texmacs-extra-fonts_0.2_all.deb 21-Oct-2015 15:09 5M