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

Icon  Name                                Last modified      Size  Description
[DIR] Parent Directory                                         -   
[   ] agda-bin_2.2.6-1build1.diff.gz      03-Feb-2010 23:04  2.4K  
[TXT] agda-bin_2.2.6-1build1.dsc          03-Feb-2010 23:04  1.3K  
[   ] agda-bin_2.2.6-1build1_amd64.deb    03-Feb-2010 23:04  2.7M  
[   ] agda-bin_2.2.6-1build1_i386.deb     03-Feb-2010 23:04  2.6M  
[   ] agda-bin_2.2.6.orig.tar.gz          22-Jan-2010 19:08  1.6K  
[   ] agda-bin_2.2.10-1~ubuntu1.diff.gz   28-Feb-2011 04:04  2.8K  
[TXT] agda-bin_2.2.10-1~ubuntu1.dsc       28-Feb-2011 04:04  2.0K  
[   ] agda-bin_2.2.10-1~ubuntu1_amd64.deb 28-Feb-2011 04:05  3.9M  
[   ] agda-bin_2.2.10-1~ubuntu1_i386.deb  28-Feb-2011 04:05  3.7M  
[   ] agda-bin_2.2.10-2.diff.gz           10-Jun-2011 19:05  2.8K  
[TXT] agda-bin_2.2.10-2.dsc               10-Jun-2011 19:05  1.9K  
[   ] agda-bin_2.2.10-2_amd64.deb         10-Jun-2011 19:05  4.0M  
[   ] agda-bin_2.2.10-2_i386.deb          10-Jun-2011 19:05  3.8M  
[   ] agda-bin_2.2.10.orig.tar.gz         28-Feb-2011 04:04  1.7K  
[   ] agda-bin_2.3.0.1-1.diff.gz          19-Mar-2012 05:33  2.9K  
[TXT] agda-bin_2.3.0.1-1.dsc              19-Mar-2012 05:33  1.3K  
[   ] agda-bin_2.3.0.1-1_amd64.deb        19-Mar-2012 06:33  4.7M  
[   ] agda-bin_2.3.0.1-1_i386.deb         19-Mar-2012 05:33  4.4M  
[   ] agda-bin_2.3.0.1.orig.tar.gz        19-Mar-2012 05:33  1.7K
Microsoft-IIS/10.0 Server at ftp.tw.netbsd.org Port 80