ftp.ntua.gr:/debian/pool/main/m/matita/

 Name                            Last modified      Size  
 Parent Directory                                     -   
 matita_0.99.1-3.debian.tar.gz   10-Dec-2013 22:44  4.7K  
 matita_0.99.1-3.dsc             10-Dec-2013 22:44  1.5K  
 matita_0.99.1-3_amd64.deb       10-Dec-2013 22:44  2.6M  
 matita_0.99.1-3_armel.deb       11-Dec-2013 04:00  2.5M  
 matita_0.99.1-3_armhf.deb       11-Dec-2013 02:45  2.5M  
 matita_0.99.1-3_i386.deb        10-Dec-2013 23:44  2.4M  
 matita_0.99.1.orig.tar.gz       07-May-2012 00:36  9.9M  
 matita_0.99.3-1+b1_amd64.deb    08-Mar-2017 04:15  3.3M  
 matita_0.99.3-1+b1_arm64.deb    08-Mar-2017 02:58  3.3M  
 matita_0.99.3-1+b1_armel.deb    12-Mar-2017 00:29  3.2M  
 matita_0.99.3-1+b1_armhf.deb    13-Mar-2017 04:44  3.3M  
 matita_0.99.3-1+b1_i386.deb     08-Mar-2017 05:42  3.1M  
 matita_0.99.3-1+b1_mips.deb     08-Mar-2017 08:13  8.4M  
 matita_0.99.3-1+b1_mips64el.deb 08-Mar-2017 16:43  8.4M  
 matita_0.99.3-1+b1_mipsel.deb   08-Mar-2017 17:28  8.4M  
 matita_0.99.3-1+b1_ppc64el.deb  08-Mar-2017 13:11  8.4M  
 matita_0.99.3-1+b1_s390x.deb    08-Mar-2017 04:00  8.4M  
 matita_0.99.3-1+b2_amd64.deb    26-Sep-2017 21:14  4.3M  
 matita_0.99.3-1+b2_arm64.deb    26-Sep-2017 19:59  4.7M  
 matita_0.99.3-1+b2_i386.deb     26-Sep-2017 20:14  3.4M  
 matita_0.99.3-1+b2_mips64el.deb 27-Sep-2017 07:28  8.4M  
 matita_0.99.3-1+b2_mipsel.deb   27-Sep-2017 05:27  8.4M  
 matita_0.99.3-1+b2_ppc64el.deb  26-Sep-2017 19:59  4.8M  
 matita_0.99.3-1+b2_s390x.deb    26-Sep-2017 19:59  5.0M  
 matita_0.99.3-1+b3_armel.deb    06-Oct-2017 20:44  8.4M  
 matita_0.99.3-1+b3_armhf.deb    06-Oct-2017 19:29  3.4M  
 matita_0.99.3-1.debian.tar.xz   24-May-2016 23:22  4.2K  
 matita_0.99.3-1.dsc             24-May-2016 23:22  2.1K  
 matita_0.99.3.orig.tar.gz       24-May-2016 23:22  3.0M  

Apache/2.2 Server at debian.noc.ntua.gr Port 80