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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 agda-bin_2.2.6-1+b1_..> 26-Jan-2010 09:32  2.7M  
 agda-bin_2.2.6-1+b1_..> 26-Jan-2010 09:32  2.6M  
 agda-bin_2.2.6-1+b1_..> 26-Jan-2010 15:47  2.6M  
 agda-bin_2.2.6-1+b1_..> 14-Mar-2010 15:32  5.6M  
 agda-bin_2.2.6-1+b1_..> 29-Jan-2010 11:02  2.9M  
 agda-bin_2.2.6-1+b1_..> 28-Jan-2010 09:32  6.6M  
 agda-bin_2.2.6-1+b1_..> 04-Feb-2010 11:02  4.2M  
 agda-bin_2.2.6-1.dif..> 11-Jan-2010 17:47  2.4K  
 agda-bin_2.2.6-1.dsc    11-Jan-2010 17:47  1.3K  
 agda-bin_2.2.6-1_arm..> 18-Mar-2010 21:33  5.4M  
 agda-bin_2.2.6-1_kfr..> 27-Feb-2010 05:32  2.8M  
 agda-bin_2.2.6-1_mip..> 16-Mar-2010 01:17  5.5M  
 agda-bin_2.2.6.orig...> 11-Jan-2010 17:47  1.6K  
 agda-bin_2.3.0.1-1.d..> 12-Mar-2012 13:47  2.9K  
 agda-bin_2.3.0.1-1.dsc  12-Mar-2012 13:47  1.3K  
 agda-bin_2.3.0.1-1_a..> 12-Mar-2012 13:47  4.7M  
 agda-bin_2.3.0.1-1_a..> 25-Mar-2012 22:47  6.9M  
 agda-bin_2.3.0.1-1_a..> 27-Mar-2012 04:47  6.9M  
 agda-bin_2.3.0.1-1_i..> 12-Mar-2012 23:17  4.4M  
 agda-bin_2.3.0.1-1_k..> 13-Mar-2012 01:17  5.5M  
 agda-bin_2.3.0.1-1_k..> 13-Mar-2012 06:32  5.1M  
 agda-bin_2.3.0.1-1_p..> 21-Apr-2012 10:02  4.6M  
 agda-bin_2.3.0.1-1_s..> 13-Mar-2012 01:47   15M  
 agda-bin_2.3.0.1-1_s..> 26-Mar-2012 09:32  6.8M  
 agda-bin_2.3.0.1.ori..> 12-Mar-2012 13:47  1.7K