ftp.ntua.gr:/mirror/ubuntu/pool/universe/a/agda-bin/?C=D&O=A 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] agda-bin_2.3.0.1-1.diff.gz                       18-Mar-2012 23:33  2.9K  
[   ] agda-bin_2.3.0.1-1.dsc                           18-Mar-2012 23:33  1.3K  
[   ] agda-bin_2.3.0.1-1_amd64.deb                     19-Mar-2012 00:33  4.7M  
[   ] agda-bin_2.3.0.1-1_i386.deb                      18-Mar-2012 23:33  4.4M  
[   ] agda-bin_2.3.0.1.orig.tar.gz                     18-Mar-2012 23:33  1.7K
Apache/2.2 Server at ftp.ntua.gr Port 80