Index of /Debian/debian/pool/main/a/agda-bin
Name Last modified Size Description
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
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
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
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
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