Index of /pub/ubuntu-archive/ubuntu/pool/universe/m/matita

	Name	Last modified	Size	Description
	Parent Directory		-
	matita-doc_0.5.7-2ubuntu2_all.deb	2009-09-01 06:05	1.2M
	matita-doc_0.5.8-2build2_all.deb	2010-04-16 13:05	1.2M
	matita-doc_0.5.8-3_all.deb	2011-06-04 16:04	1.1M
	matita-doc_0.5.8-3build1_all.deb	2011-11-29 04:04	1.1M
	matita-standard-library_0.4.98-5_all.deb	2007-12-12 18:04	12M
	matita-standard-library_0.5.2-1_all.deb	2008-07-04 09:05	11M
	matita-standard-library_0.5.3-1_all.deb	2008-11-06 13:09	12M
	matita-standard-library_0.5.7-2ubuntu2_all.deb	2009-09-01 06:05	16M
	matita_0.4.98-5.diff.gz	2007-12-12 05:04	3.9K
	matita_0.4.98-5.dsc	2007-12-12 05:04	1.1K
	matita_0.4.98-5_amd64.deb	2007-12-13 16:03	3.4M
	matita_0.4.98-5_i386.deb	2007-12-12 18:04	3.1M
	matita_0.4.98-5_ia64.deb	2008-01-23 02:03	9.8M
	matita_0.4.98-5_powerpc.deb	2007-12-13 04:03	3.8M
	matita_0.4.98-5_sparc.deb	2007-12-16 10:04	3.8M
	matita_0.4.98.orig.tar.gz	2007-11-26 05:03	1.8M
	matita_0.5.2-1.diff.gz	2008-07-04 04:05	4.3K
	matita_0.5.2-1.dsc	2008-07-04 04:05	1.6K
	matita_0.5.2-1_amd64.deb	2008-07-04 10:04	3.5M
	matita_0.5.2-1_hppa.deb	2008-07-19 02:04	9.9M
	matita_0.5.2-1_i386.deb	2008-07-04 09:05	3.1M
	matita_0.5.2-1_ia64.deb	2008-07-04 16:04	9.9M
	matita_0.5.2-1_powerpc.deb	2008-07-04 19:04	3.7M
	matita_0.5.2-1_sparc.deb	2008-07-04 11:05	3.8M
	matita_0.5.2.orig.tar.gz	2008-07-04 04:05	1.8M
	matita_0.5.3-1.diff.gz	2008-11-05 09:06	4.3K
	matita_0.5.3-1.dsc	2008-11-05 09:06	1.6K
	matita_0.5.3-1_amd64.deb	2008-11-07 01:04	3.5M
	matita_0.5.3-1_armel.deb	2008-12-10 07:04	9.9M
	matita_0.5.3-1_hppa.deb	2008-11-10 07:04	9.9M
	matita_0.5.3-1_i386.deb	2008-11-06 13:09	3.1M
	matita_0.5.3-1_ia64.deb	2008-11-09 06:03	9.9M
	matita_0.5.3-1_powerpc.deb	2008-11-07 01:06	3.8M
	matita_0.5.3-1_sparc.deb	2008-11-07 22:05	3.8M
	matita_0.5.3.orig.tar.gz	2008-11-05 09:06	1.8M
	matita_0.5.7-2ubuntu2.diff.gz	2009-09-01 05:05	5.5K
	matita_0.5.7-2ubuntu2.dsc	2009-09-01 05:05	1.9K
	matita_0.5.7-2ubuntu2_amd64.deb	2009-09-01 07:05	4.8M
	matita_0.5.7-2ubuntu2_armel.deb	2009-09-01 05:05	12M
	matita_0.5.7-2ubuntu2_i386.deb	2009-09-01 06:05	4.6M
	matita_0.5.7-2ubuntu2_ia64.deb	2009-09-01 11:12	12M
	matita_0.5.7-2ubuntu2_lpia.deb	2009-09-01 05:05	3.9M
	matita_0.5.7-2ubuntu2_powerpc.deb	2009-09-01 05:05	4.6M
	matita_0.5.7-2ubuntu2_sparc.deb	2009-09-02 16:04	4.7M
	matita_0.5.7.orig.tar.gz	2009-04-29 09:06	3.5M
	matita_0.5.8-2build1_sparc.deb	2010-04-12 16:05	5.7M
	matita_0.5.8-2build2.diff.gz	2010-04-16 13:05	5.2K
	matita_0.5.8-2build2.dsc	2010-04-16 13:05	1.7K
	matita_0.5.8-2build2_amd64.deb	2010-04-16 18:05	5.8M
	matita_0.5.8-2build2_armel.deb	2010-04-16 15:05	15M
	matita_0.5.8-2build2_i386.deb	2010-04-16 13:05	5.5M
	matita_0.5.8-2build2_ia64.deb	2010-04-19 01:04	15M
	matita_0.5.8-2build2_powerpc.deb	2010-04-17 08:05	5.6M
	matita_0.5.8-3.debian.tar.gz	2011-06-04 16:04	6.4K
	matita_0.5.8-3.dsc	2011-06-04 16:04	1.9K
	matita_0.5.8-3_amd64.deb	2011-06-04 16:04	5.6M
	matita_0.5.8-3_armel.deb	2011-06-04 17:04	5.3M
	matita_0.5.8-3_i386.deb	2011-06-04 16:04	5.4M
	matita_0.5.8-3_powerpc.deb	2011-06-04 16:05	5.4M
	matita_0.5.8-3build1.debian.tar.gz	2011-11-29 04:04	6.5K
	matita_0.5.8-3build1.dsc	2011-11-29 04:04	2.0K
	matita_0.5.8-3build1_amd64.deb	2011-11-29 04:04	5.7M
	matita_0.5.8-3build1_armel.deb	2011-11-29 04:04	5.4M
	matita_0.5.8-3build1_armhf.deb	2012-04-20 05:06	5.4M
	matita_0.5.8-3build1_i386.deb	2011-11-29 04:05	5.5M
	matita_0.5.8-3build1_powerpc.deb	2011-11-29 04:05	5.6M
	matita_0.5.8.orig.tar.gz	2010-03-22 16:05	5.6M
	matita_0.99.1-1.debian.tar.gz	2012-05-17 07:33	4.3K
	matita_0.99.1-1.dsc	2012-05-17 07:33	1.5K
	matita_0.99.1-1_amd64.deb	2012-05-17 16:03	3.8M
	matita_0.99.1-1_armel.deb	2012-05-17 16:03	3.6M
	matita_0.99.1-1_armhf.deb	2012-05-17 16:04	3.6M
	matita_0.99.1-1_i386.deb	2012-05-17 15:34	3.2M
	matita_0.99.1-1_powerpc.deb	2012-05-17 16:04	3.6M
	matita_0.99.1-3.debian.tar.gz	2013-12-11 12:28	4.7K
	matita_0.99.1-3.dsc	2013-12-11 12:28	1.5K
	matita_0.99.1-3_amd64.deb	2013-12-23 19:08	2.4M
	matita_0.99.1-3_arm64.deb	2013-12-23 20:58	6.8M
	matita_0.99.1-3_armhf.deb	2013-12-23 19:18	2.4M
	matita_0.99.1-3_i386.deb	2013-12-23 19:08	2.3M
	matita_0.99.1-3_powerpc.deb	2013-12-23 20:18	2.1M
	matita_0.99.1-3_ppc64el.deb	2014-02-18 01:58	6.8M
	matita_0.99.1.orig.tar.gz	2012-05-17 07:33	9.9M
	matita_0.99.3-1.debian.tar.xz	2016-12-29 13:53	4.2K
	matita_0.99.3-1.dsc	2016-12-29 13:53	2.1K
	matita_0.99.3-1_amd64.deb	2016-12-29 14:28	3.2M
	matita_0.99.3-1_arm64.deb	2016-12-29 14:28	2.8M
	matita_0.99.3-1_armhf.deb	2016-12-29 14:28	2.8M
	matita_0.99.3-1_i386.deb	2016-12-29 14:28	2.7M
	matita_0.99.3-1_ppc64el.deb	2016-12-29 14:28	8.3M
	matita_0.99.3-1_s390x.deb	2016-12-29 14:28	8.3M
	matita_0.99.3.orig.tar.gz	2016-12-29 13:53	3.0M