../ texmacs-extra-fonts_0.2.dsc 03-Jun-2011 15:57 537 texmacs-extra-fonts_0.2.tar.gz 03-Jun-2011 15:57 5M texmacs-extra-fonts_0.2_all.deb 03-Jun-2011 15:57 5M