ftp.ntua.gr:/mirror/ubuntu/pool/universe/m/matita/
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory - [   ] matita-doc_0.5.8-3build1_all.deb 29-Nov-2011 11:04 1.1M [   ] matita_0.5.8-3build1.debian.tar.gz 29-Nov-2011 11:04 6.5K [   ] matita_0.5.8-3build1.dsc 29-Nov-2011 11:04 2.0K [   ] matita_0.5.8-3build1_amd64.deb 29-Nov-2011 11:04 5.7M [   ] matita_0.5.8-3build1_i386.deb 29-Nov-2011 11:05 5.5M [   ] matita_0.5.8.orig.tar.gz 22-Mar-2010 22:05 5.6M [   ] matita_0.99.1-3.debian.tar.gz 11-Dec-2013 19:28 4.7K [   ] matita_0.99.1-3.dsc 11-Dec-2013 19:28 1.5K [   ] matita_0.99.1-3_amd64.deb 24-Dec-2013 02:08 2.4M [   ] matita_0.99.1-3_i386.deb 24-Dec-2013 02:08 2.3M [   ] matita_0.99.1.orig.tar.gz 17-May-2012 14:33 9.9M
Apache/2.2 Server at ftp.ntua.gr Port 80