Index of /ubuntu/pool/universe/a/agda-bin

Icon  Name                         Last modified      Size  Description
[DIR] Parent Directory                                  -   
[   ] agda-bin_2.3.0.1.orig.tar.gz 18-Mar-2012 17:33  1.7K  
[   ] agda-bin_2.3.0.1-1_i386.deb  18-Mar-2012 17:33  4.4M  
[   ] agda-bin_2.3.0.1-1_amd64.deb 18-Mar-2012 18:33  4.7M  
[TXT] agda-bin_2.3.0.1-1.dsc       18-Mar-2012 17:33  1.3K  
[   ] agda-bin_2.3.0.1-1.diff.gz   18-Mar-2012 17:33  2.9K
Apache Server at 209.208.0.134 Port 80