Index of /ubuntu/packages/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-doc_0.5.8-3build1_all.deb                   29-Nov-2011 09: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_amd64.deb                          13-Dec-2007 21:03      3M
matita_0.4.98-5_i386.deb                           12-Dec-2007 23:04      3M
matita_0.5.2-1_amd64.deb                           04-Jul-2008 14:04      3M
matita_0.5.2-1_i386.deb                            04-Jul-2008 13:05      3M
matita_0.5.3-1_amd64.deb                           07-Nov-2008 06:04      3M
matita_0.5.3-1_i386.deb                            06-Nov-2008 18:09      3M
matita_0.5.7-2ubuntu2_amd64.deb                    01-Sep-2009 11:05      5M
matita_0.5.7-2ubuntu2_i386.deb                     01-Sep-2009 10:05      5M
matita_0.5.8-2build2_amd64.deb                     16-Apr-2010 22:05      6M
matita_0.5.8-2build2_i386.deb                      16-Apr-2010 17:05      6M
matita_0.5.8-3_amd64.deb                           04-Jun-2011 20:04      6M
matita_0.5.8-3_i386.deb                            04-Jun-2011 20:04      5M
matita_0.5.8-3build1_amd64.deb                     29-Nov-2011 09:04      6M
matita_0.5.8-3build1_i386.deb                      29-Nov-2011 09:05      6M
matita_0.99.1-1_amd64.deb                          17-May-2012 20:03      4M
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_amd64.deb                          24-Dec-2013 00:08      2M
matita_0.99.1-3_arm64.deb                          24-Dec-2013 01:58      7M
matita_0.99.1-3_armhf.deb                          24-Dec-2013 00:18      2M
matita_0.99.1-3_i386.deb                           24-Dec-2013 00:08      2M
matita_0.99.1-3_powerpc.deb                        24-Dec-2013 01:18      2M
matita_0.99.1-3_ppc64el.deb                        18-Feb-2014 06:58      7M
matita_0.99.1.orig.tar.gz                          17-May-2012 11:33     10M
matita_0.99.3-1_amd64.deb                          29-Dec-2016 19:28      3M
matita_0.99.3-1_i386.deb                           29-Dec-2016 19:28      3M