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.twaren.net Port 80