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

../
matita-doc_0.5.7-2ubuntu2_all.deb                  01-Sep-2009 10:05      1M
matita-doc_0.5.8-2build2_all.deb                   16-Apr-2010 17:05      1M
matita-doc_0.5.8-3_all.deb                         04-Jun-2011 20:04      1M
matita-standard-library_0.4.98-5_all.deb           12-Dec-2007 23:04     12M
matita-standard-library_0.5.2-1_all.deb            04-Jul-2008 13:05     11M
matita-standard-library_0.5.3-1_all.deb            06-Nov-2008 18:09     12M
matita-standard-library_0.5.7-2ubuntu2_all.deb     01-Sep-2009 10:05     16M
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_i386.deb                           12-Dec-2007 23:04      3M
matita_0.4.98.orig.tar.gz                          26-Nov-2007 10:03      2M
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_i386.deb                            04-Jul-2008 13:05      3M
matita_0.5.2.orig.tar.gz                           04-Jul-2008 08:05      2M
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_i386.deb                            06-Nov-2008 18:09      3M
matita_0.5.3.orig.tar.gz                           05-Nov-2008 14:06      2M
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_i386.deb                     01-Sep-2009 10:05      5M
matita_0.5.7.orig.tar.gz                           29-Apr-2009 13:06      3M
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_i386.deb                      16-Apr-2010 17:05      6M
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_i386.deb                            04-Jun-2011 20:04      5M
matita_0.5.8.orig.tar.gz                           22-Mar-2010 20:05      6M
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_i386.deb                           17-May-2012 19:34      3M
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_arm64.deb                          24-Dec-2013 01:58      7M
matita_0.99.1-3_i386.deb                           24-Dec-2013 00:08      2M
matita_0.99.1.orig.tar.gz                          17-May-2012 11:33     10M