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

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