Index of /ubuntu/pool/universe/m/matita/
../
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_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.orig.tar.gz 26-Nov-2007 10:03 1862669
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_i386.deb 16-Apr-2010 17:05 5808566
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_i386.deb 04-Jun-2011 20:04 5670770
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_i386.deb 29-Nov-2011 09:05 5812404
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_i386.deb 17-May-2012 19:34 3346584
matita_0.99.1.orig.tar.gz 17-May-2012 11:33 10366065