Index of /ubuntu/pool/universe/a/agda-bin

      Name                                Last modified      Size  Description
      Parent Directory                                         -   
      agda-bin_2.2.10-1~ubuntu1.diff.gz   28-Feb-2011 05:04  2.8K  
      agda-bin_2.2.10-1~ubuntu1.dsc       28-Feb-2011 05:04  2.0K  
      agda-bin_2.2.10-1~ubuntu1_amd64.deb 28-Feb-2011 05:05  3.9M  
      agda-bin_2.2.10-1~ubuntu1_i386.deb  28-Feb-2011 05:05  3.7M  
      agda-bin_2.2.10-2.diff.gz           10-Jun-2011 20:05  2.8K  
      agda-bin_2.2.10-2.dsc               10-Jun-2011 20:05  1.9K  
      agda-bin_2.2.10-2_amd64.deb         10-Jun-2011 20:05  4.0M  
      agda-bin_2.2.10-2_i386.deb          10-Jun-2011 20:05  3.8M  
      agda-bin_2.2.10.orig.tar.gz         28-Feb-2011 05:04  1.7K  
      agda-bin_2.2.6-1build1.diff.gz      04-Feb-2010 00:04  2.4K  
      agda-bin_2.2.6-1build1.dsc          04-Feb-2010 00:04  1.3K  
      agda-bin_2.2.6-1build1_amd64.deb    04-Feb-2010 00:04  2.7M  
      agda-bin_2.2.6-1build1_i386.deb     04-Feb-2010 00:04  2.6M  
      agda-bin_2.2.6.orig.tar.gz          22-Jan-2010 20:08  1.6K  
      agda-bin_2.3.0.1-1.diff.gz          19-Mar-2012 06:33  2.9K  
      agda-bin_2.3.0.1-1.dsc              19-Mar-2012 06:33  1.3K  
      agda-bin_2.3.0.1-1_amd64.deb        19-Mar-2012 07:33  4.7M  
      agda-bin_2.3.0.1-1_i386.deb         19-Mar-2012 06:33  4.4M  
      agda-bin_2.3.0.1.orig.tar.gz        19-Mar-2012 06:33  1.7K