Index of /ubuntu-old-releases/ubuntu/pool/universe/m/matita/
../
matita-doc_0.5.7-2ubuntu2_all.deb 01-Sep-2009 10:05 1206948
matita-doc_0.5.8-2build2_all.deb 16-Apr-2010 17:05 1229346
matita-doc_0.5.8-3_all.deb 04-Jun-2011 20:04 1132160
matita-doc_0.5.8-3build1_all.deb 29-Nov-2011 09:04 1132118
matita-standard-library_0.4.98-5_all.deb 12-Dec-2007 23:04 12398386
matita-standard-library_0.5.2-1_all.deb 04-Jul-2008 13:05 11892042
matita-standard-library_0.5.3-1_all.deb 06-Nov-2008 18:09 12541468
matita-standard-library_0.5.7-2ubuntu2_all.deb 01-Sep-2009 10:05 16266554
matita_0.4.98-5.diff.gz 12-Dec-2007 10:04 3979
matita_0.4.98-5.dsc 12-Dec-2007 10:04 1108
matita_0.4.98-5_amd64.deb 13-Dec-2007 21:03 3611038
matita_0.4.98-5_i386.deb 12-Dec-2007 23:04 3277918
matita_0.4.98-5_ia64.deb 23-Jan-2008 07:03 10325970
matita_0.4.98-5_powerpc.deb 13-Dec-2007 09:03 3949788
matita_0.4.98-5_sparc.deb 16-Dec-2007 15:04 3979274
matita_0.4.98.orig.tar.gz 26-Nov-2007 10:03 1862669
matita_0.5.2-1.diff.gz 04-Jul-2008 08:05 4386
matita_0.5.2-1.dsc 04-Jul-2008 08:05 1660
matita_0.5.2-1_amd64.deb 04-Jul-2008 14:04 3619428
matita_0.5.2-1_hppa.deb 19-Jul-2008 06:04 10382248
matita_0.5.2-1_i386.deb 04-Jul-2008 13:05 3284472
matita_0.5.2-1_ia64.deb 04-Jul-2008 20:04 10382240
matita_0.5.2-1_powerpc.deb 04-Jul-2008 23:04 3931754
matita_0.5.2-1_sparc.deb 04-Jul-2008 15:05 3991482
matita_0.5.2.orig.tar.gz 04-Jul-2008 08:05 1923611
matita_0.5.3-1.diff.gz 05-Nov-2008 14:06 4407
matita_0.5.3-1.dsc 05-Nov-2008 14:06 1660
matita_0.5.3-1_amd64.deb 07-Nov-2008 06:04 3625584
matita_0.5.3-1_armel.deb 10-Dec-2008 12:04 10429520
matita_0.5.3-1_hppa.deb 10-Nov-2008 12:04 10431990
matita_0.5.3-1_i386.deb 06-Nov-2008 18:09 3290486
matita_0.5.3-1_ia64.deb 09-Nov-2008 11:03 10431984
matita_0.5.3-1_powerpc.deb 07-Nov-2008 06:06 3942808
matita_0.5.3-1_sparc.deb 08-Nov-2008 03:05 4000646
matita_0.5.3.orig.tar.gz 05-Nov-2008 14:06 1933149
matita_0.5.7-2ubuntu2.diff.gz 01-Sep-2009 09:05 5621
matita_0.5.7-2ubuntu2.dsc 01-Sep-2009 09:05 1964
matita_0.5.7-2ubuntu2_amd64.deb 01-Sep-2009 11:05 5032262
matita_0.5.7-2ubuntu2_armel.deb 01-Sep-2009 09:05 12512344
matita_0.5.7-2ubuntu2_i386.deb 01-Sep-2009 10:05 4845088
matita_0.5.7-2ubuntu2_ia64.deb 01-Sep-2009 15:12 12511624
matita_0.5.7-2ubuntu2_lpia.deb 01-Sep-2009 09:05 4102242
matita_0.5.7-2ubuntu2_powerpc.deb 01-Sep-2009 09:05 4840082
matita_0.5.7-2ubuntu2_sparc.deb 02-Sep-2009 20:04 4905304
matita_0.5.7.orig.tar.gz 29-Apr-2009 13:06 3645283
matita_0.5.8-2build1_sparc.deb 12-Apr-2010 20:05 5952316
matita_0.5.8-2build2.diff.gz 16-Apr-2010 17:05 5361
matita_0.5.8-2build2.dsc 16-Apr-2010 17:05 1745
matita_0.5.8-2build2_amd64.deb 16-Apr-2010 22:05 6090184
matita_0.5.8-2build2_armel.deb 16-Apr-2010 19:05 15576874
matita_0.5.8-2build2_i386.deb 16-Apr-2010 17:05 5808566
matita_0.5.8-2build2_ia64.deb 19-Apr-2010 05:04 15578532
matita_0.5.8-2build2_powerpc.deb 17-Apr-2010 12:05 5868692
matita_0.5.8-3.debian.tar.gz 04-Jun-2011 20:04 6565
matita_0.5.8-3.dsc 04-Jun-2011 20:04 1974
matita_0.5.8-3_amd64.deb 04-Jun-2011 20:04 5842538
matita_0.5.8-3_armel.deb 04-Jun-2011 21:04 5513478
matita_0.5.8-3_i386.deb 04-Jun-2011 20:04 5670770
matita_0.5.8-3_powerpc.deb 04-Jun-2011 20:05 5669690
matita_0.5.8-3build1.debian.tar.gz 29-Nov-2011 09:04 6627
matita_0.5.8-3build1.dsc 29-Nov-2011 09:04 2072
matita_0.5.8-3build1_amd64.deb 29-Nov-2011 09:04 6010500
matita_0.5.8-3build1_armel.deb 29-Nov-2011 09:04 5686646
matita_0.5.8-3build1_armhf.deb 20-Apr-2012 09:06 5682064
matita_0.5.8-3build1_i386.deb 29-Nov-2011 09:05 5812404
matita_0.5.8-3build1_powerpc.deb 29-Nov-2011 09:05 5841758
matita_0.5.8.orig.tar.gz 22-Mar-2010 20:05 5879034
matita_0.99.1-1.debian.tar.gz 17-May-2012 11:33 4364
matita_0.99.1-1.dsc 17-May-2012 11:33 1542
matita_0.99.1-1_amd64.deb 17-May-2012 20:03 3955814
matita_0.99.1-1_armel.deb 17-May-2012 20:03 3753874
matita_0.99.1-1_armhf.deb 17-May-2012 20:04 3731094
matita_0.99.1-1_i386.deb 17-May-2012 19:34 3346584
matita_0.99.1-1_powerpc.deb 17-May-2012 20:04 3827236
matita_0.99.1-3.debian.tar.gz 11-Dec-2013 17:28 4848
matita_0.99.1-3.dsc 11-Dec-2013 17:28 1542
matita_0.99.1-3_amd64.deb 24-Dec-2013 00:08 2557946
matita_0.99.1-3_arm64.deb 24-Dec-2013 01:58 7174434
matita_0.99.1-3_armhf.deb 24-Dec-2013 00:18 2555458
matita_0.99.1-3_i386.deb 24-Dec-2013 00:08 2431800
matita_0.99.1-3_powerpc.deb 24-Dec-2013 01:18 2247716
matita_0.99.1-3_ppc64el.deb 18-Feb-2014 06:58 7179628
matita_0.99.1.orig.tar.gz 17-May-2012 11:33 10366065
matita_0.99.3-1.debian.tar.xz 29-Dec-2016 18:53 4296
matita_0.99.3-1.dsc 29-Dec-2016 18:53 2167
matita_0.99.3-1_amd64.deb 29-Dec-2016 19:28 3339330
matita_0.99.3-1_arm64.deb 29-Dec-2016 19:28 2963396
matita_0.99.3-1_armhf.deb 29-Dec-2016 19:28 2915796
matita_0.99.3-1_i386.deb 29-Dec-2016 19:28 2848498
matita_0.99.3-1_ppc64el.deb 29-Dec-2016 19:28 8656764
matita_0.99.3-1_s390x.deb 29-Dec-2016 19:28 8655490
matita_0.99.3.orig.tar.gz 29-Dec-2016 18:53 3145643