/ubuntu-ports/pool/universe/t/texmacs-extra-fonts/

	File Name  ↓	File Size  ↓	Date  ↓
	texmacs-extra-fonts_0.2.dsc	537 B	2007-Apr-27 21:04
	texmacs-extra-fonts_0.2.tar.gz	5.4 MiB	2007-Apr-27 21:04
	texmacs-extra-fonts_0.2_all.deb	5.4 MiB	2007-Apr-30 11:03