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

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 agda-bin_2.2.6-1.diff.gz              12-Jan-2010 01:47  2.4K  
 agda-bin_2.2.6-1.dsc                  12-Jan-2010 01:47  1.3K  
 agda-bin_2.2.6.orig.tar.gz            12-Jan-2010 01:47  1.6K  
 agda-bin_2.2.6-1+b1_amd64.deb         26-Jan-2010 17:32  2.7M  
 agda-bin_2.2.6-1+b1_i386.deb          26-Jan-2010 17:32  2.6M  
 agda-bin_2.2.6-1+b1_kfreebsd-i386.deb 26-Jan-2010 23:47  2.6M  
 agda-bin_2.2.6-1+b1_s390.deb          28-Jan-2010 17:32  6.6M  
 agda-bin_2.2.6-1+b1_powerpc.deb       29-Jan-2010 19:02  2.9M  
 agda-bin_2.2.6-1+b1_sparc.deb         04-Feb-2010 19:02  4.2M  
 agda-bin_2.2.6-1_kfreebsd-amd64.deb   27-Feb-2010 13:32  2.8M  
 agda-bin_2.2.6-1+b1_mips.deb          14-Mar-2010 23:32  5.6M  
 agda-bin_2.2.6-1_mipsel.deb           16-Mar-2010 09:17  5.5M  
 agda-bin_2.2.6-1_armel.deb            19-Mar-2010 05:33  5.4M  
 agda-bin_2.2.10.orig.tar.gz           24-May-2011 16:47  1.7K  
 agda-bin_2.2.10-2.diff.gz             25-May-2011 20:17  2.8K  
 agda-bin_2.2.10-2.dsc                 25-May-2011 20:17  1.9K  
 agda-bin_2.2.10-2_amd64.deb           25-May-2011 20:17  4.1M  
 agda-bin_2.2.10-2_i386.deb            25-May-2011 20:49  3.8M  
 agda-bin_2.2.10-2_powerpc.deb         25-May-2011 21:02  4.0M  
 agda-bin_2.2.10-2_kfreebsd-amd64.deb  25-May-2011 23:07  5.0M  
 agda-bin_2.2.10-2_kfreebsd-i386.deb   25-May-2011 23:07  4.6M  
 agda-bin_2.2.10-2_sparc.deb           25-May-2011 23:17  6.1M  
 agda-bin_2.3.0-1.diff.gz              24-Nov-2011 01:02  2.9K  
 agda-bin_2.3.0-1.dsc                  24-Nov-2011 01:02  1.9K  
 agda-bin_2.3.0-1_amd64.deb            24-Nov-2011 01:02  5.1M  
 agda-bin_2.3.0.orig.tar.gz            24-Nov-2011 01:02  1.7K  
 agda-bin_2.3.0-1_kfreebsd-i386.deb    24-Nov-2011 03:17  5.6M  
 agda-bin_2.3.0-1_kfreebsd-amd64.deb   24-Nov-2011 03:32  6.0M  
 agda-bin_2.3.0-1_i386.deb             24-Nov-2011 03:47  4.7M  
 agda-bin_2.3.0-1_sparc.deb            24-Nov-2011 21:17  7.5M  
 agda-bin_2.3.0-1_s390x.deb            05-Dec-2011 15:32   16M  
 agda-bin_2.3.0.1-1.diff.gz            12-Mar-2012 21:47  2.9K  
 agda-bin_2.3.0.1-1.dsc                12-Mar-2012 21:47  1.3K  
 agda-bin_2.3.0.1-1_amd64.deb          12-Mar-2012 21:47  4.7M  
 agda-bin_2.3.0.1.orig.tar.gz          12-Mar-2012 21:47  1.7K  
 agda-bin_2.3.0.1-1_i386.deb           13-Mar-2012 07:17  4.4M  
 agda-bin_2.3.0.1-1_kfreebsd-amd64.deb 13-Mar-2012 09:17  5.5M  
 agda-bin_2.3.0.1-1_s390x.deb          13-Mar-2012 09:47   15M  
 agda-bin_2.3.0.1-1_kfreebsd-i386.deb  13-Mar-2012 14:32  5.1M