Index of /anvil/pool/universe/m/matita

	Name	Last modified	Size	Description
	Parent Directory		-
	matita-doc_0.5.8-2build2_all.deb	2010-04-16 18:05	1.2M
	matita-doc_0.5.8-3_all.deb	2011-08-13 02:13	1.1M
	matita-doc_0.5.8-3build1_all.deb	2012-03-12 10:57	1.1M
	matita_0.5.8-2build2.diff.gz	2010-04-16 18:05	5.2K
	matita_0.5.8-2build2.dsc	2010-04-16 18:05	1.7K
	matita_0.5.8-2build2_amd64.deb	2010-04-16 23:05	5.8M
	matita_0.5.8-2build2_i386.deb	2010-04-16 18:05	5.5M
	matita_0.5.8-3.debian.tar.gz	2011-08-13 02:13	6.4K
	matita_0.5.8-3.dsc	2011-08-13 02:13	1.9K
	matita_0.5.8-3_amd64.deb	2011-08-13 02:13	5.6M
	matita_0.5.8-3_i386.deb	2011-08-13 02:13	5.4M
	matita_0.5.8-3build1.debian.tar.gz	2012-03-09 13:05	6.5K
	matita_0.5.8-3build1.dsc	2012-03-09 13:05	2.0K
	matita_0.5.8-3build1_amd64.deb	2012-03-19 10:42	5.7M
	matita_0.5.8-3build1_i386.deb	2012-03-12 10:57	5.5M
	matita_0.5.8.orig.tar.gz	2010-03-22 20:05	5.6M
	matita_0.99.1-1.debian.tar.gz	2012-09-26 11:56	4.3K
	matita_0.99.1-1.dsc	2012-09-26 11:56	1.5K
	matita_0.99.1-1_amd64.deb	2012-10-07 17:46	3.8M
	matita_0.99.1-1_i386.deb	2012-09-29 14:21	3.2M
	matita_0.99.1-3.debian.tar.gz	2015-01-04 23:37	4.7K
	matita_0.99.1-3.dsc	2015-01-04 23:37	1.5K
	matita_0.99.1-3_amd64.deb	2014-04-14 22:01	2.4M
	matita_0.99.1-3_i386.deb	2014-04-04 19:45	2.3M
	matita_0.99.1.orig.tar.gz	2012-09-26 11:56	9.9M