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

	Name	Last modified	Size	Description
	Parent Directory		-
	matita-doc_0.5.7-2ubuntu2_all.deb	2009-09-01 10:05	1.2M
	matita-doc_0.5.8-2build2_all.deb	2010-04-16 17:05	1.2M
	matita-doc_0.5.8-2ubuntu1_all.deb	2011-05-21 09:04	1.1M
	matita-doc_0.5.8-3_all.deb	2011-06-04 20:04	1.1M
	matita-doc_0.5.8-3build1_all.deb	2011-11-29 09:04	1.1M
	matita-doc_0.5.8-4_all.deb	2012-04-30 23:58	1.2M
	matita-standard-library_0.4.98-5_all.deb	2007-12-12 23:04	12M
	matita-standard-library_0.5.3-1_all.deb	2008-11-06 18:09	12M
	matita-standard-library_0.5.7-2ubuntu2_all.deb	2009-09-01 10:05	16M
	matita_0.4.98-5.diff.gz	2007-12-12 10:04	3.9K
	matita_0.4.98-5.dsc	2007-12-12 10:04	1.1K
	matita_0.4.98-5_amd64.deb	2007-12-13 21:03	3.4M
	matita_0.4.98-5_i386.deb	2007-12-12 23:04	3.1M
	matita_0.4.98.orig.tar.gz	2007-11-26 10:03	1.8M
	matita_0.5.3-1.diff.gz	2008-11-05 14:06	4.3K
	matita_0.5.3-1.dsc	2008-11-05 14:06	1.6K
	matita_0.5.3-1_amd64.deb	2008-11-07 06:04	3.5M
	matita_0.5.3-1_i386.deb	2008-11-06 18:09	3.1M
	matita_0.5.3.orig.tar.gz	2008-11-05 14:06	1.8M
	matita_0.5.7-2ubuntu2.diff.gz	2009-09-01 09:05	5.5K
	matita_0.5.7-2ubuntu2.dsc	2009-09-01 09:05	1.9K
	matita_0.5.7-2ubuntu2_amd64.deb	2009-09-01 11:05	4.8M
	matita_0.5.7-2ubuntu2_i386.deb	2009-09-01 10:05	4.6M
	matita_0.5.7.orig.tar.gz	2009-04-29 13:06	3.5M
	matita_0.5.8-2build2.diff.gz	2010-04-16 17:05	5.2K
	matita_0.5.8-2build2.dsc	2010-04-16 17:05	1.7K
	matita_0.5.8-2build2_amd64.deb	2010-04-16 22:05	5.8M
	matita_0.5.8-2build2_i386.deb	2010-04-16 17:05	5.5M
	matita_0.5.8-2build3.diff.gz	2011-05-20 19:04	5.4K
	matita_0.5.8-2build3.dsc	2011-05-20 19:04	2.4K
	matita_0.5.8-2ubuntu1.diff.gz	2011-05-21 09:04	6.1K
	matita_0.5.8-2ubuntu1.dsc	2011-05-21 09:04	2.5K
	matita_0.5.8-2ubuntu1_amd64.deb	2011-05-21 09:04	5.6M
	matita_0.5.8-2ubuntu1_i386.deb	2011-05-21 09:04	5.4M
	matita_0.5.8-3.debian.tar.gz	2011-06-04 20:04	6.4K
	matita_0.5.8-3.dsc	2011-06-04 20:04	1.9K
	matita_0.5.8-3_amd64.deb	2011-06-04 20:04	5.6M
	matita_0.5.8-3_i386.deb	2011-06-04 20:04	5.4M
	matita_0.5.8-3build1.debian.tar.gz	2011-11-29 09:04	6.5K
	matita_0.5.8-3build1.dsc	2011-11-29 09:04	2.0K
	matita_0.5.8-3build1_amd64.deb	2011-11-29 09:04	5.7M
	matita_0.5.8-3build1_i386.deb	2011-11-29 09:05	5.5M
	matita_0.5.8-4.debian.tar.gz	2012-04-30 23:47	6.9K
	matita_0.5.8-4.dsc	2012-04-30 23:47	2.3K
	matita_0.5.8-4_amd64.deb	2012-04-30 23:59	5.7M
	matita_0.5.8-4_i386.deb	2012-05-01 00:09	5.6M
	matita_0.5.8.orig.tar.gz	2010-03-22 20:05	5.6M
	matita_0.99.1-1.debian.tar.gz	2012-05-17 11:33	4.3K
	matita_0.99.1-1.dsc	2012-05-17 11:33	1.5K
	matita_0.99.1-1_amd64.deb	2012-05-17 20:03	3.8M
	matita_0.99.1-1_i386.deb	2012-05-17 19:34	3.2M
	matita_0.99.1-2.debian.tar.gz	2013-10-21 13:50	4.2K
	matita_0.99.1-2.dsc	2013-10-21 13:50	1.5K
	matita_0.99.1-2_amd64.deb	2013-10-22 04:53	3.4M
	matita_0.99.1-2_arm64.deb	2013-10-28 22:33	8.8M
	matita_0.99.1-2_i386.deb	2013-10-22 11:54	3.2M
	matita_0.99.1-3.debian.tar.gz	2013-12-11 17:28	4.7K
	matita_0.99.1-3.dsc	2013-12-11 17:28	1.5K
	matita_0.99.1-3_amd64.deb	2013-12-24 00:08	2.4M
	matita_0.99.1-3_i386.deb	2013-12-24 00:08	2.3M
	matita_0.99.1-3build1.debian.tar.xz	2015-11-05 15:14	4.6K
	matita_0.99.1-3build1.dsc	2015-11-05 15:14	1.8K
	matita_0.99.1.orig.tar.gz	2012-05-17 11:33	9.9M
	matita_0.99.3-1.debian.tar.xz	2016-12-29 18:53	4.2K
	matita_0.99.3-1.dsc	2016-12-29 18:53	2.1K
	matita_0.99.3-1_amd64.deb	2016-12-29 19:28	3.2M
	matita_0.99.3-1_i386.deb	2016-12-29 19:28	2.7M
	matita_0.99.3-1build1.debian.tar.xz	2017-07-03 10:48	4.3K
	matita_0.99.3-1build1.dsc	2017-07-03 10:48	1.9K
	matita_0.99.3-1build2.debian.tar.xz	2017-07-10 17:03	4.4K
	matita_0.99.3-1build2.dsc	2017-07-10 17:03	1.9K
	matita_0.99.3.orig.tar.gz	2016-12-29 18:53	3.0M