Index of /debian/pool/main/a/agda-bin

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 agda-bin_2.3.0.1-1.diff.gz            12-Mar-2012 15:47  2.9K  
 agda-bin_2.3.0.1-1.dsc                12-Mar-2012 15:47  1.3K  
 agda-bin_2.3.0.1-1_amd64.deb          12-Mar-2012 15:47  4.7M  
 agda-bin_2.3.0.1-1_armel.deb          26-Mar-2012 01:47  6.9M  
 agda-bin_2.3.0.1-1_armhf.deb          27-Mar-2012 07:47  6.9M  
 agda-bin_2.3.0.1-1_i386.deb           13-Mar-2012 01:17  4.4M  
 agda-bin_2.3.0.1-1_kfreebsd-amd64.deb 13-Mar-2012 03:17  5.5M  
 agda-bin_2.3.0.1-1_kfreebsd-i386.deb  13-Mar-2012 08:32  5.1M  
 agda-bin_2.3.0.1-1_powerpc.deb        21-Apr-2012 13:02  4.6M  
 agda-bin_2.3.0.1-1_s390x.deb          13-Mar-2012 03:47   15M  
 agda-bin_2.3.0.1-1_sparc.deb          26-Mar-2012 12:32  6.8M  
 agda-bin_2.3.0.1.orig.tar.gz          12-Mar-2012 15:47  1.7K