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

Icon  Name                                  Last modified      Size  Description
[DIR] Parent Directory - [   ] agda-bin_2.2.6-1+b1_amd64.deb 26-Jan-2010 17:32 2.7M [   ] agda-bin_2.2.6-1+b1_i386.deb 26-Jan-2010 17:32 2.6M [   ] agda-bin_2.2.6-1+b1_kfreebsd-i386.deb 26-Jan-2010 23:47 2.6M [   ] agda-bin_2.2.6-1+b1_mips.deb 14-Mar-2010 23:32 5.6M [   ] agda-bin_2.2.6-1+b1_powerpc.deb 29-Jan-2010 19:02 2.9M [   ] agda-bin_2.2.6-1+b1_s390.deb 28-Jan-2010 17:32 6.6M [   ] agda-bin_2.2.6-1+b1_sparc.deb 04-Feb-2010 19:02 4.2M [   ] agda-bin_2.2.6-1.diff.gz 12-Jan-2010 01:47 2.4K [TXT] agda-bin_2.2.6-1.dsc 12-Jan-2010 01:47 1.3K [   ] agda-bin_2.2.6-1_armel.deb 19-Mar-2010 05:33 5.4M [   ] agda-bin_2.2.6-1_kfreebsd-amd64.deb 27-Feb-2010 13:32 2.8M [   ] agda-bin_2.2.6-1_mipsel.deb 16-Mar-2010 09:17 5.5M [   ] agda-bin_2.2.6.orig.tar.gz 12-Jan-2010 01:47 1.6K [   ] agda-bin_2.2.10-2.diff.gz 25-May-2011 20:17 2.8K [TXT] agda-bin_2.2.10-2.dsc 25-May-2011 20:17 1.9K [   ] agda-bin_2.2.10-2_amd64.deb 25-May-2011 20:17 4.1M [   ] agda-bin_2.2.10-2_i386.deb 25-May-2011 20:49 3.8M [   ] agda-bin_2.2.10-2_kfreebsd-amd64.deb 25-May-2011 23:07 5.0M [   ] agda-bin_2.2.10-2_kfreebsd-i386.deb 25-May-2011 23:07 4.6M [   ] agda-bin_2.2.10-2_powerpc.deb 25-May-2011 21:02 4.0M [   ] agda-bin_2.2.10-2_sparc.deb 25-May-2011 23:17 6.1M [   ] agda-bin_2.2.10.orig.tar.gz 24-May-2011 16:47 1.7K [   ] agda-bin_2.3.0-1.diff.gz 24-Nov-2011 01:02 2.9K [TXT] agda-bin_2.3.0-1.dsc 24-Nov-2011 01:02 1.9K [   ] agda-bin_2.3.0-1_amd64.deb 24-Nov-2011 01:02 5.1M [   ] agda-bin_2.3.0-1_i386.deb 24-Nov-2011 03:47 4.7M [   ] agda-bin_2.3.0-1_kfreebsd-amd64.deb 24-Nov-2011 03:32 6.0M [   ] agda-bin_2.3.0-1_kfreebsd-i386.deb 24-Nov-2011 03:17 5.6M [   ] agda-bin_2.3.0-1_s390x.deb 05-Dec-2011 15:32 16M [   ] agda-bin_2.3.0-1_sparc.deb 24-Nov-2011 21:17 7.5M [   ] agda-bin_2.3.0.1-1.diff.gz 12-Mar-2012 21:47 2.9K [TXT] agda-bin_2.3.0.1-1.dsc 12-Mar-2012 21:47 1.3K [   ] agda-bin_2.3.0.1-1_amd64.deb 12-Mar-2012 21:47 4.7M [   ] agda-bin_2.3.0.1-1_i386.deb 13-Mar-2012 07:17 4.4M [   ] agda-bin_2.3.0.1-1_kfreebsd-amd64.deb 13-Mar-2012 09:17 5.5M [   ] agda-bin_2.3.0.1-1_kfreebsd-i386.deb 13-Mar-2012 14:32 5.1M [   ] agda-bin_2.3.0.1-1_s390x.deb 13-Mar-2012 09:47 15M [   ] agda-bin_2.3.0.1.orig.tar.gz 12-Mar-2012 21:47 1.7K [   ] agda-bin_2.3.0.orig.tar.gz 24-Nov-2011 01:02 1.7K
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80