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

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