Index of /livecdroom/source/elementaryos/universe/m/matita

	Name	Last modified	Size	Description
	Parent Directory		-
	matita_0.4.98-5.diff.gz	2012-01-27 09:05	3.9K
	matita_0.4.98-5.dsc	2012-01-27 09:05	1.1K
	matita_0.4.98.orig.tar.gz	2012-01-27 09:05	1.8M
	matita_0.5.8-2build2.diff.gz	2012-01-27 09:05	5.2K
	matita_0.5.8-2build2.dsc	2012-01-27 09:05	1.7K
	matita_0.5.8-3.debian.tar.gz	2012-01-27 09:05	6.4K
	matita_0.5.8-3.dsc	2012-01-27 09:05	1.9K
	matita_0.5.8-3build1.debian.tar.gz	2012-01-27 09:05	6.5K
	matita_0.5.8-3build1.dsc	2012-01-27 09:05	2.0K
	matita_0.5.8.orig.tar.gz	2012-01-27 09:05	5.6M
	matita_0.99.1-1.debian.tar.gz	2013-05-20 04:27	4.3K
	matita_0.99.1-1.dsc	2013-05-20 04:27	1.5K
	matita_0.99.1-3.debian.tar.gz	2015-07-23 06:55	4.7K
	matita_0.99.1-3.dsc	2017-08-06 07:57	1.5K
	matita_0.99.1.orig.tar.gz	2013-05-20 04:27	9.9M
	matita_0.99.3-1.debian.tar.xz	2017-08-06 07:57	4.2K
	matita_0.99.3-1.dsc	2017-08-06 07:57	2.1K
	matita_0.99.3.orig.tar.gz	2017-08-06 07:57	3.0M