Index of /pool/universe/m/matita

	Name	Last modified	Size	Description
	Parent Directory		-
	matita-doc_0.5.8-2build2_all.deb	16-Apr-2010 13:05	1.2M
	matita-doc_0.5.8-3_all.deb	04-Jun-2011 16:04	1.1M
	matita-doc_0.5.8-3build1_all.deb	29-Nov-2011 04:04	1.1M
	matita-standard-library_0.4.98-5_all.deb	12-Dec-2007 18:04	12M
	matita_0.4.98-5.diff.gz	12-Dec-2007 05:04	3.9K
	matita_0.4.98-5.dsc	12-Dec-2007 05:04	1.1K
	matita_0.4.98-5_amd64.deb	13-Dec-2007 16:03	3.4M
	matita_0.4.98-5_i386.deb	12-Dec-2007 18:04	3.1M
	matita_0.4.98.orig.tar.gz	26-Nov-2007 05:03	1.8M
	matita_0.5.8-2build2.diff.gz	16-Apr-2010 13:05	5.2K
	matita_0.5.8-2build2.dsc	16-Apr-2010 13:05	1.7K
	matita_0.5.8-2build2_amd64.deb	16-Apr-2010 18:05	5.8M
	matita_0.5.8-2build2_i386.deb	16-Apr-2010 13:05	5.5M
	matita_0.5.8-3.debian.tar.gz	04-Jun-2011 16:04	6.4K
	matita_0.5.8-3.dsc	04-Jun-2011 16:04	1.9K
	matita_0.5.8-3_amd64.deb	04-Jun-2011 16:04	5.6M
	matita_0.5.8-3_i386.deb	04-Jun-2011 16:04	5.4M
	matita_0.5.8-3build1.debian.tar.gz	29-Nov-2011 04:04	6.5K
	matita_0.5.8-3build1.dsc	29-Nov-2011 04:04	2.0K
	matita_0.5.8-3build1_amd64.deb	29-Nov-2011 04:04	5.7M
	matita_0.5.8-3build1_i386.deb	29-Nov-2011 04:05	5.5M
	matita_0.5.8.orig.tar.gz	22-Mar-2010 16:05	5.6M
	matita_0.99.1-1.debian.tar.gz	17-May-2012 07:33	4.3K
	matita_0.99.1-1.dsc	17-May-2012 07:33	1.5K
	matita_0.99.1-1_amd64.deb	17-May-2012 16:03	3.8M
	matita_0.99.1-1_i386.deb	17-May-2012 15:34	3.2M
	matita_0.99.1.orig.tar.gz	17-May-2012 07:33	9.9M