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

 Name                          Last modified      Size  Description
 Parent Directory                                   -   
 agda-bin_2.2.6-1+b1_amd64.deb 2010-01-26 10:32  2.7M  
 agda-bin_2.2.6-1+b1_i386.deb  2010-01-26 10:32  2.6M  
 agda-bin_2.2.6-1.diff.gz      2010-01-11 18:47  2.4K  
 agda-bin_2.2.6-1.dsc          2010-01-11 18:47  1.3K  
 agda-bin_2.2.6.orig.tar.gz    2010-01-11 18:47  1.6K  
 agda-bin_2.3.0.1-1.diff.gz    2012-03-12 14:47  2.9K  
 agda-bin_2.3.0.1-1.dsc        2012-03-12 14:47  1.3K  
 agda-bin_2.3.0.1-1_amd64.deb  2012-03-12 14:47  4.7M  
 agda-bin_2.3.0.1-1_i386.deb   2012-03-13 00:17  4.4M  
 agda-bin_2.3.0.1.orig.tar.gz  2012-03-12 14:47  1.7K