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

Icon  Name                                           Last modified      Size  Description
[DIR] Parent Directory - [   ] libghc6-agda-doc_2.2.6-7_all.deb 06-May-2010 12:02 1.0M [   ] libghc6-agda-dev_2.2.6-7_sparc.deb 13-May-2010 06:47 17M [   ] libghc6-agda-dev_2.2.6-7_s390.deb 06-May-2010 19:50 16M [   ] libghc6-agda-dev_2.2.6-7_powerpc.deb 06-May-2010 15:17 13M [   ] libghc6-agda-dev_2.2.6-7_mipsel.deb 07-May-2010 05:47 17M [   ] libghc6-agda-dev_2.2.6-7_mips.deb 07-May-2010 03:47 18M [   ] libghc6-agda-dev_2.2.6-7_kfreebsd-i386.deb 06-May-2010 14:32 9.1M [   ] libghc6-agda-dev_2.2.6-7_kfreebsd-amd64.deb 06-May-2010 14:32 9.6M [   ] libghc6-agda-dev_2.2.6-7_i386.deb 06-May-2010 15:17 9.1M [   ] libghc6-agda-dev_2.2.6-7_armel.deb 07-May-2010 05:47 16M [   ] libghc6-agda-dev_2.2.6-7_amd64.deb 06-May-2010 12:02 9.6M [   ] libghc-agda-doc_2.3.0.1-1_all.deb 12-Mar-2012 21:32 1.7M [   ] libghc-agda-doc_2.3.0-1_all.deb 24-Nov-2011 01:02 1.6M [   ] libghc-agda-doc_2.2.10-4_all.deb 04-Sep-2011 06:47 1.4M [   ] libghc-agda-doc_2.2.10-3_all.deb 17-Jun-2011 16:47 1.4M [   ] libghc-agda-dev_2.3.0.1-1_s390x.deb 13-Mar-2012 08:32 23M [   ] libghc-agda-dev_2.3.0.1-1_kfreebsd-i386.deb 13-Mar-2012 14:02 12M [   ] libghc-agda-dev_2.3.0.1-1_kfreebsd-amd64.deb 13-Mar-2012 08:32 12M [   ] libghc-agda-dev_2.3.0.1-1_i386.deb 13-Mar-2012 06:47 12M [   ] libghc-agda-dev_2.3.0.1-1_amd64.deb 12-Mar-2012 21:32 12M [   ] libghc-agda-dev_2.3.0-1_sparc.deb 24-Nov-2011 20:47 24M [   ] libghc-agda-dev_2.3.0-1_s390x.deb 05-Dec-2011 03:47 22M [   ] libghc-agda-dev_2.3.0-1_kfreebsd-i386.deb 24-Nov-2011 02:47 11M [   ] libghc-agda-dev_2.3.0-1_kfreebsd-amd64.deb 24-Nov-2011 03:02 12M [   ] libghc-agda-dev_2.3.0-1_i386.deb 24-Nov-2011 03:17 11M [   ] libghc-agda-dev_2.3.0-1_amd64.deb 24-Nov-2011 01:02 12M [   ] libghc-agda-dev_2.3.0-1+b2_kfreebsd-i386.deb 04-Feb-2012 02:32 11M [   ] libghc-agda-dev_2.3.0-1+b2_kfreebsd-amd64.deb 04-Feb-2012 02:32 12M [   ] libghc-agda-dev_2.3.0-1+b2_i386.deb 04-Feb-2012 02:02 11M [   ] libghc-agda-dev_2.3.0-1+b2_amd64.deb 04-Feb-2012 02:32 12M [   ] libghc-agda-dev_2.3.0-1+b1_i386.deb 04-Feb-2012 01:47 11M [   ] libghc-agda-dev_2.2.10-4_sparc.deb 04-Sep-2011 10:47 20M [   ] libghc-agda-dev_2.2.10-4_powerpc.deb 04-Sep-2011 07:22 13M [   ] libghc-agda-dev_2.2.10-4_kfreebsd-i386.deb 04-Sep-2011 07:22 9.7M [   ] libghc-agda-dev_2.2.10-4_kfreebsd-amd64.deb 04-Sep-2011 07:22 10M [   ] libghc-agda-dev_2.2.10-4_i386.deb 04-Sep-2011 07:22 9.7M [   ] libghc-agda-dev_2.2.10-4_amd64.deb 04-Sep-2011 06:47 10M [   ] libghc-agda-dev_2.2.10-4+b2_sparc.deb 04-Oct-2011 13:17 20M [   ] libghc-agda-dev_2.2.10-4+b2_powerpc.deb 06-Oct-2011 08:17 13M [   ] libghc-agda-dev_2.2.10-4+b2_kfreebsd-i386.deb 04-Oct-2011 07:02 9.7M [   ] libghc-agda-dev_2.2.10-4+b2_kfreebsd-amd64.deb 04-Oct-2011 07:02 10M [   ] libghc-agda-dev_2.2.10-4+b2_i386.deb 04-Oct-2011 06:32 9.7M [   ] libghc-agda-dev_2.2.10-4+b2_amd64.deb 04-Oct-2011 06:32 10M [   ] libghc-agda-dev_2.2.10-4+b1_sparc.deb 24-Sep-2011 13:32 20M [   ] libghc-agda-dev_2.2.10-4+b1_powerpc.deb 24-Sep-2011 17:03 13M [   ] libghc-agda-dev_2.2.10-4+b1_kfreebsd-i386.deb 25-Sep-2011 12:17 9.7M [   ] libghc-agda-dev_2.2.10-4+b1_kfreebsd-amd64.deb 23-Sep-2011 23:17 10M [   ] libghc-agda-dev_2.2.10-4+b1_i386.deb 23-Sep-2011 22:47 9.7M [   ] libghc-agda-dev_2.2.10-4+b1_amd64.deb 23-Sep-2011 19:17 10M [   ] libghc-agda-dev_2.2.10-3+b3_kfreebsd-i386.deb 17-Jul-2011 19:47 9.7M [   ] libghc-agda-dev_2.2.10-3+b3_kfreebsd-amd64.deb 17-Jul-2011 12:47 10M [   ] libghc-agda-dev_2.2.10-3+b2_sparc.deb 18-Jul-2011 18:17 20M [   ] libghc-agda-dev_2.2.10-3+b2_i386.deb 17-Jul-2011 07:32 9.7M [   ] libghc-agda-dev_2.2.10-3+b2_amd64.deb 17-Jul-2011 09:32 10M [   ] libghc-agda-dev_2.2.10-3+b1_powerpc.deb 07-Aug-2011 20:32 13M [   ] agda_2.3.0.orig.tar.gz 24-Nov-2011 01:02 594K [   ] agda_2.3.0.1.orig.tar.gz 12-Mar-2012 21:32 598K [   ] agda_2.3.0.1-1_all.deb 12-Mar-2012 21:32 12K [TXT] agda_2.3.0.1-1.dsc 12-Mar-2012 21:32 2.3K [   ] agda_2.3.0.1-1.debian.tar.gz 12-Mar-2012 21:32 6.4K [   ] agda_2.3.0-1_all.deb 24-Nov-2011 01:02 12K [TXT] agda_2.3.0-1.dsc 24-Nov-2011 01:02 3.4K [   ] agda_2.3.0-1.debian.tar.gz 24-Nov-2011 01:02 6.4K [   ] agda_2.2.10.orig.tar.gz 21-May-2011 03:32 506K [   ] agda_2.2.10-4_all.deb 04-Sep-2011 06:47 9.2K [TXT] agda_2.2.10-4.dsc 04-Sep-2011 06:47 3.0K [   ] agda_2.2.10-4.debian.tar.gz 04-Sep-2011 06:47 7.9K [   ] agda_2.2.10-3_all.deb 17-Jun-2011 16:47 12K [TXT] agda_2.2.10-3.dsc 17-Jun-2011 16:47 2.4K [   ] agda_2.2.10-3.debian.tar.gz 17-Jun-2011 16:47 7.4K [   ] agda_2.2.6.orig.tar.gz 08-Jan-2010 03:47 414K [TXT] agda_2.2.6-7.dsc 06-May-2010 12:02 2.2K [   ] agda_2.2.6-7.debian.tar.gz 06-May-2010 12:02 5.2K [   ] agda-mode_2.3.0.1-1_all.deb 12-Mar-2012 21:32 45K [   ] agda-mode_2.3.0-1_all.deb 24-Nov-2011 01:02 44K [   ] agda-mode_2.2.10-4_all.deb 04-Sep-2011 06:47 39K [   ] agda-mode_2.2.10-3_all.deb 17-Jun-2011 16:47 43K [   ] agda-mode_2.2.6-7_all.deb 06-May-2010 12:02 39K
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80