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

../
matita-doc_0.5.7-2ubuntu2_all.deb                  01-Sep-2009 18:05      1M
matita-doc_0.5.8-2build2_all.deb                   17-Apr-2010 01:05      1M
matita-doc_0.5.8-3_all.deb                         05-Jun-2011 04:04      1M
matita-doc_0.5.8-3build1_all.deb                   29-Nov-2011 17:04      1M
matita-doc_0.5.8-4_all.deb                         01-May-2012 07:58      1M
matita-standard-library_0.4.98-5_all.deb           13-Dec-2007 07:04     12M
matita-standard-library_0.5.3-1_all.deb            03-Jun-2011 15:52     12M
matita-standard-library_0.5.7-2ubuntu2_all.deb     01-Sep-2009 18:05     16M
matita_0.4.98-5.diff.gz                            12-Dec-2007 18:04    3979
matita_0.4.98-5.dsc                                12-Dec-2007 18:04    1108
matita_0.4.98-5_amd64.deb                          14-Dec-2007 05:03      3M
matita_0.4.98-5_i386.deb                           13-Dec-2007 07:04      3M
matita_0.4.98.orig.tar.gz                          26-Nov-2007 18:03      2M
matita_0.5.3-1.diff.gz                             03-Jun-2011 15:52    4407
matita_0.5.3-1.dsc                                 03-Jun-2011 15:52    1660
matita_0.5.3-1_amd64.deb                           03-Jun-2011 15:52      3M
matita_0.5.3-1_i386.deb                            03-Jun-2011 15:52      3M
matita_0.5.3.orig.tar.gz                           03-Jun-2011 15:52      2M
matita_0.5.7-2ubuntu2.diff.gz                      01-Sep-2009 17:05    5621
matita_0.5.7-2ubuntu2.dsc                          01-Sep-2009 17:05    1964
matita_0.5.7-2ubuntu2_amd64.deb                    01-Sep-2009 19:05      5M
matita_0.5.7-2ubuntu2_i386.deb                     01-Sep-2009 18:05      5M
matita_0.5.7.orig.tar.gz                           29-Apr-2009 21:06      3M
matita_0.5.8-2build2.diff.gz                       17-Apr-2010 01:05    5361
matita_0.5.8-2build2.dsc                           17-Apr-2010 01:05    1745
matita_0.5.8-2build2_amd64.deb                     17-Apr-2010 06:05      6M
matita_0.5.8-2build2_i386.deb                      17-Apr-2010 01:05      6M
matita_0.5.8-3.debian.tar.gz                       05-Jun-2011 04:04    6565
matita_0.5.8-3.dsc                                 05-Jun-2011 04:04    1974
matita_0.5.8-3_amd64.deb                           05-Jun-2011 04:04      6M
matita_0.5.8-3_i386.deb                            05-Jun-2011 04:04      5M
matita_0.5.8-3build1.debian.tar.gz                 29-Nov-2011 17:04    6627
matita_0.5.8-3build1.dsc                           29-Nov-2011 17:04    2072
matita_0.5.8-3build1_amd64.deb                     29-Nov-2011 17:04      6M
matita_0.5.8-3build1_i386.deb                      29-Nov-2011 17:05      6M
matita_0.5.8-4.debian.tar.gz                       01-May-2012 07:47    7084
matita_0.5.8-4.dsc                                 01-May-2012 07:47    2396
matita_0.5.8-4_amd64.deb                           01-May-2012 07:59      6M
matita_0.5.8-4_i386.deb                            01-May-2012 08:09      6M
matita_0.5.8.orig.tar.gz                           23-Mar-2010 04:05      6M
matita_0.99.1-1.debian.tar.gz                      17-May-2012 19:33    4364
matita_0.99.1-1.dsc                                17-May-2012 19:33    1542
matita_0.99.1-1_amd64.deb                          18-May-2012 04:03      4M
matita_0.99.1-1_i386.deb                           18-May-2012 03:34      3M
matita_0.99.1-3.debian.tar.gz                      12-Dec-2013 01:28    4848
matita_0.99.1-3.dsc                                12-Dec-2013 01:28    1542
matita_0.99.1-3_amd64.deb                          24-Dec-2013 08:08      2M
matita_0.99.1-3_i386.deb                           24-Dec-2013 08:08      2M
matita_0.99.1.orig.tar.gz                          17-May-2012 19:33     10M