Index of /mirror/archive.debian.org/debian/pool/main/m/matita/


../
matita-doc_0.5.8-2_all.deb                         04-Dec-2009 16:19             1670576
matita-standard-library_0.5.3-1_all.deb            23-Jul-2008 22:32            12609638
matita_0.5.3-1.diff.gz                             23-Jul-2008 22:32                4407
matita_0.5.3-1.dsc                                 23-Jul-2008 22:32                1660
matita_0.5.3-1_alpha.deb                           28-Jul-2008 17:17            10430594
matita_0.5.3-1_amd64.deb                           23-Jul-2008 22:32             3626846
matita_0.5.3-1_arm.deb                             26-Jul-2008 18:17            10433240
matita_0.5.3-1_armel.deb                           24-Jul-2008 11:32            10429260
matita_0.5.3-1_hppa.deb                            24-Jul-2008 05:02            10431464
matita_0.5.3-1_i386.deb                            24-Jul-2008 17:47             3293750
matita_0.5.3-1_ia64.deb                            24-Jul-2008 05:02            10433208
matita_0.5.3-1_mips.deb                            26-Jul-2008 19:47            10433278
matita_0.5.3-1_mipsel.deb                          24-Jul-2008 17:47            10433216
matita_0.5.3-1_powerpc.deb                         24-Jul-2008 17:33             3968126
matita_0.5.3-1_s390.deb                            24-Jul-2008 06:17            10433254
matita_0.5.3-1_sparc.deb                           25-Jul-2008 07:32             4002826
matita_0.5.3.orig.tar.gz                           23-Jul-2008 22:32             1933149
matita_0.5.8-2+b1_amd64.deb                        25-Feb-2010 23:54             6092864
matita_0.5.8-2+b1_i386.deb                         25-Feb-2010 23:54             5056910
matita_0.5.8-2+b1_kfreebsd-amd64.deb               25-Feb-2010 22:02             6091152
matita_0.5.8-2+b1_kfreebsd-i386.deb                25-Feb-2010 22:02             5056444
matita_0.5.8-2+b1_powerpc.deb                      26-Feb-2010 10:06             5869550
matita_0.5.8-2+b1_sparc.deb                        27-Feb-2010 16:23             5955340
matita_0.5.8-2+b2_armel.deb                        05-Mar-2010 21:48            15582192
matita_0.5.8-2+b2_ia64.deb                         26-Feb-2010 07:37            15583272
matita_0.5.8-2+b2_mips.deb                         05-Mar-2010 10:04            15583328
matita_0.5.8-2+b2_mipsel.deb                       28-Feb-2010 09:39            15582168
matita_0.5.8-2+b2_s390.deb                         28-Feb-2010 11:06            15582208
matita_0.5.8-2.diff.gz                             04-Dec-2009 16:19                5266
matita_0.5.8-2.dsc                                 04-Dec-2009 16:19                1721
matita_0.5.8.orig.tar.gz                           01-Dec-2009 23:47             5879034
matita_0.99.1-1.debian.tar.gz                      06-May-2012 21:36                4364
matita_0.99.1-1.dsc                                06-May-2012 21:36                1542
matita_0.99.1-1_amd64.deb                          06-May-2012 21:36             4097984
matita_0.99.1-1_armel.deb                          07-May-2012 08:55             3862318
matita_0.99.1-1_armhf.deb                          06-May-2012 23:49             9379080
matita_0.99.1-1_i386.deb                           06-May-2012 23:17             3453380
matita_0.99.1-1_ia64.deb                           06-May-2012 22:18             9375894
matita_0.99.1-1_kfreebsd-amd64.deb                 06-May-2012 23:18             4099302
matita_0.99.1-1_kfreebsd-i386.deb                  06-May-2012 22:32             3453002
matita_0.99.1-1_mips.deb                           07-May-2012 00:06             9377072
matita_0.99.1-1_mipsel.deb                         07-May-2012 06:02             9378730
matita_0.99.1-1_powerpc.deb                        08-May-2012 07:36             3934792
matita_0.99.1-1_s390.deb                           06-May-2012 22:18             9372166
matita_0.99.1-1_s390x.deb                          06-May-2012 22:18             9373042
matita_0.99.1-1_sparc.deb                          06-May-2012 23:03             3945826
matita_0.99.1-3.debian.tar.gz                      10-Dec-2013 20:44                4848
matita_0.99.1-3.dsc                                10-Dec-2013 20:44                1542
matita_0.99.1-3_amd64.deb                          10-Dec-2013 20:44             2674968
matita_0.99.1-3_arm64.deb                          20-Oct-2014 02:30             7288412
matita_0.99.1-3_armel.deb                          11-Dec-2013 02:00             2620780
matita_0.99.1-3_armhf.deb                          11-Dec-2013 00:45             2651642
matita_0.99.1-3_i386.deb                           10-Dec-2013 21:44             2535196
matita_0.99.1-3_kfreebsd-amd64.deb                 10-Dec-2013 22:14             2668710
matita_0.99.1-3_kfreebsd-i386.deb                  10-Dec-2013 21:59             2536948
matita_0.99.1-3_mips.deb                           10-Dec-2013 23:59             7301800
matita_0.99.1-3_mipsel.deb                         11-Dec-2013 00:30             7295266
matita_0.99.1-3_powerpc.deb                        10-Dec-2013 21:59             2373366
matita_0.99.1-3_ppc64el.deb                        11-Sep-2014 22:09             7303206
matita_0.99.1-3_s390x.deb                          10-Dec-2013 21:59             7302216
matita_0.99.1.orig.tar.gz                          06-May-2012 21:36            10366065
matita_0.99.3-1+b1_amd64.deb                       08-Mar-2017 02:15             3455742
matita_0.99.3-1+b1_arm64.deb                       08-Mar-2017 00:58             3469000
matita_0.99.3-1+b1_armel.deb                       11-Mar-2017 22:29             3393194
matita_0.99.3-1+b1_armhf.deb                       13-Mar-2017 02:44             3468184
matita_0.99.3-1+b1_i386.deb                        08-Mar-2017 03:42             3269806
matita_0.99.3-1+b1_mips.deb                        08-Mar-2017 06:13             8788766
matita_0.99.3-1+b1_mips64el.deb                    08-Mar-2017 14:43             8792708
matita_0.99.3-1+b1_mipsel.deb                      08-Mar-2017 15:28             8788378
matita_0.99.3-1+b1_ppc64el.deb                     08-Mar-2017 11:11             8801820
matita_0.99.3-1+b1_s390x.deb                       08-Mar-2017 02:00             8787918
matita_0.99.3-1.debian.tar.xz                      24-May-2016 20:22                4296
matita_0.99.3-1.dsc                                24-May-2016 20:22                2167
matita_0.99.3.orig.tar.gz                          24-May-2016 20:22             3145643