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