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

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