Index of /ubuntu-lucid/pool/universe/m/matita

	Name	Last modified	Size	Description
	Parent Directory		-
	matita-doc_0.5.8-2build2_all.deb	17-Apr-2010 02:05	1.2M
	matita_0.5.8-2build2_amd64.deb	17-Apr-2010 07:05	5.8M
	matita_0.5.8-2build2_i386.deb	17-Apr-2010 02:05	5.5M