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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]matita-doc_0.5.7-2ubuntu2_all.deb2009-09-01 10:05 1.2M
[   ]matita-doc_0.5.8-2build2_all.deb2010-04-16 17:05 1.2M
[   ]matita-doc_0.5.8-3_all.deb2011-06-04 20:04 1.1M
[   ]matita-doc_0.5.8-3build1_all.deb2011-11-29 09:04 1.1M
[   ]matita-standard-library_0.4.98-5_all.deb2007-12-12 23:04 12M
[   ]matita-standard-library_0.5.2-1_all.deb2008-07-04 13:05 11M
[   ]matita-standard-library_0.5.3-1_all.deb2008-11-06 18:09 12M
[   ]matita-standard-library_0.5.7-2ubuntu2_all.deb2009-09-01 10:05 16M
[   ]matita_0.4.98-5.diff.gz2007-12-12 10:04 3.9K
[   ]matita_0.4.98-5.dsc2007-12-12 10:04 1.1K
[   ]matita_0.4.98-5_amd64.deb2007-12-13 21:03 3.4M
[   ]matita_0.4.98-5_i386.deb2007-12-12 23:04 3.1M
[   ]matita_0.4.98-5_ia64.deb2008-01-23 07:03 9.8M
[   ]matita_0.4.98-5_powerpc.deb2007-12-13 09:03 3.8M
[   ]matita_0.4.98-5_sparc.deb2007-12-16 15:04 3.8M
[   ]matita_0.4.98.orig.tar.gz2007-11-26 10:03 1.8M
[   ]matita_0.5.2-1.diff.gz2008-07-04 08:05 4.3K
[   ]matita_0.5.2-1.dsc2008-07-04 08:05 1.6K
[   ]matita_0.5.2-1_amd64.deb2008-07-04 14:04 3.5M
[   ]matita_0.5.2-1_hppa.deb2008-07-19 06:04 9.9M
[   ]matita_0.5.2-1_i386.deb2008-07-04 13:05 3.1M
[   ]matita_0.5.2-1_ia64.deb2008-07-04 20:04 9.9M
[   ]matita_0.5.2-1_powerpc.deb2008-07-04 23:04 3.7M
[   ]matita_0.5.2-1_sparc.deb2008-07-04 15:05 3.8M
[   ]matita_0.5.2.orig.tar.gz2008-07-04 08:05 1.8M
[   ]matita_0.5.3-1.diff.gz2008-11-05 14:06 4.3K
[   ]matita_0.5.3-1.dsc2008-11-05 14:06 1.6K
[   ]matita_0.5.3-1_amd64.deb2008-11-07 06:04 3.5M
[   ]matita_0.5.3-1_armel.deb2008-12-10 12:04 9.9M
[   ]matita_0.5.3-1_hppa.deb2008-11-10 12:04 9.9M
[   ]matita_0.5.3-1_i386.deb2008-11-06 18:09 3.1M
[   ]matita_0.5.3-1_ia64.deb2008-11-09 11:03 9.9M
[   ]matita_0.5.3-1_powerpc.deb2008-11-07 06:06 3.8M
[   ]matita_0.5.3-1_sparc.deb2008-11-08 03:05 3.8M
[   ]matita_0.5.3.orig.tar.gz2008-11-05 14:06 1.8M
[   ]matita_0.5.7-2ubuntu2.diff.gz2009-09-01 09:05 5.5K
[   ]matita_0.5.7-2ubuntu2.dsc2009-09-01 09:05 1.9K
[   ]matita_0.5.7-2ubuntu2_amd64.deb2009-09-01 11:05 4.8M
[   ]matita_0.5.7-2ubuntu2_armel.deb2009-09-01 09:05 12M
[   ]matita_0.5.7-2ubuntu2_i386.deb2009-09-01 10:05 4.6M
[   ]matita_0.5.7-2ubuntu2_ia64.deb2009-09-01 15:12 12M
[   ]matita_0.5.7-2ubuntu2_lpia.deb2009-09-01 09:05 3.9M
[   ]matita_0.5.7-2ubuntu2_powerpc.deb2009-09-01 09:05 4.6M
[   ]matita_0.5.7-2ubuntu2_sparc.deb2009-09-02 20:04 4.7M
[   ]matita_0.5.7.orig.tar.gz2009-04-29 13:06 3.5M
[   ]matita_0.5.8-2build1_sparc.deb2010-04-12 20:05 5.7M
[   ]matita_0.5.8-2build2.diff.gz2010-04-16 17:05 5.2K
[   ]matita_0.5.8-2build2.dsc2010-04-16 17:05 1.7K
[   ]matita_0.5.8-2build2_amd64.deb2010-04-16 22:05 5.8M
[   ]matita_0.5.8-2build2_armel.deb2010-04-16 19:05 15M
[   ]matita_0.5.8-2build2_i386.deb2010-04-16 17:05 5.5M
[   ]matita_0.5.8-2build2_ia64.deb2010-04-19 05:04 15M
[   ]matita_0.5.8-2build2_powerpc.deb2010-04-17 12:05 5.6M
[   ]matita_0.5.8-3.debian.tar.gz2011-06-04 20:04 6.4K
[   ]matita_0.5.8-3.dsc2011-06-04 20:04 1.9K
[   ]matita_0.5.8-3_amd64.deb2011-06-04 20:04 5.6M
[   ]matita_0.5.8-3_armel.deb2011-06-04 21:04 5.3M
[   ]matita_0.5.8-3_i386.deb2011-06-04 20:04 5.4M
[   ]matita_0.5.8-3_powerpc.deb2011-06-04 20:05 5.4M
[   ]matita_0.5.8-3build1.debian.tar.gz2011-11-29 09:04 6.5K
[   ]matita_0.5.8-3build1.dsc2011-11-29 09:04 2.0K
[   ]matita_0.5.8-3build1_amd64.deb2011-11-29 09:04 5.7M
[   ]matita_0.5.8-3build1_armel.deb2011-11-29 09:04 5.4M
[   ]matita_0.5.8-3build1_armhf.deb2012-04-20 09:06 5.4M
[   ]matita_0.5.8-3build1_i386.deb2011-11-29 09:05 5.5M
[   ]matita_0.5.8-3build1_powerpc.deb2011-11-29 09:05 5.6M
[   ]matita_0.5.8.orig.tar.gz2010-03-22 20:05 5.6M
[   ]matita_0.99.1-1.debian.tar.gz2012-05-17 11:33 4.3K
[   ]matita_0.99.1-1.dsc2012-05-17 11:33 1.5K
[   ]matita_0.99.1-1_amd64.deb2012-05-17 20:03 3.8M
[   ]matita_0.99.1-1_armel.deb2012-05-17 20:03 3.6M
[   ]matita_0.99.1-1_armhf.deb2012-05-17 20:04 3.6M
[   ]matita_0.99.1-1_i386.deb2012-05-17 19:34 3.2M
[   ]matita_0.99.1-1_powerpc.deb2012-05-17 20:04 3.6M
[   ]matita_0.99.1-3.debian.tar.gz2013-12-11 17:28 4.7K
[   ]matita_0.99.1-3.dsc2013-12-11 17:28 1.5K
[   ]matita_0.99.1-3_amd64.deb2013-12-24 00:08 2.4M
[   ]matita_0.99.1-3_arm64.deb2013-12-24 01:58 6.8M
[   ]matita_0.99.1-3_armhf.deb2013-12-24 00:18 2.4M
[   ]matita_0.99.1-3_i386.deb2013-12-24 00:08 2.3M
[   ]matita_0.99.1-3_powerpc.deb2013-12-24 01:18 2.1M
[   ]matita_0.99.1-3_ppc64el.deb2014-02-18 06:58 6.8M
[   ]matita_0.99.1.orig.tar.gz2012-05-17 11:33 9.9M
[   ]matita_0.99.3-1.debian.tar.xz2016-12-29 18:53 4.2K
[   ]matita_0.99.3-1.dsc2016-12-29 18:53 2.1K
[   ]matita_0.99.3-1_amd64.deb2016-12-29 19:28 3.2M
[   ]matita_0.99.3-1_arm64.deb2016-12-29 19:28 2.8M
[   ]matita_0.99.3-1_armhf.deb2016-12-29 19:28 2.8M
[   ]matita_0.99.3-1_i386.deb2016-12-29 19:28 2.7M
[   ]matita_0.99.3-1_ppc64el.deb2016-12-29 19:28 8.3M
[   ]matita_0.99.3-1_s390x.deb2016-12-29 19:28 8.3M
[   ]matita_0.99.3.orig.tar.gz2016-12-29 18:53 3.0M

Apache/2.4.29 (Ubuntu) Server at old-releases.ubuntu.com Port 80