Index of /debian/pool/main/a/agda-stdlib
Name Last modified Size Description
Parent Directory -
agda-stdlib_0.3.orig.tar.gz 06-Feb-2010 01:17 147K
agda-stdlib-doc_0.3-3_all.deb 03-Mar-2010 19:32 1.1M
agda-stdlib_0.3-3.diff.gz 03-Mar-2010 19:32 3.7K
agda-stdlib_0.3-3.dsc 03-Mar-2010 19:32 1.2K
agda-stdlib_0.3-3_amd64.deb 03-Mar-2010 19:32 12M
agda-stdlib_0.3-3_kfreebsd-i386.deb 03-Mar-2010 23:32 11M
agda-stdlib_0.3-3_i386.deb 04-Mar-2010 01:17 12M
agda-stdlib_0.3-3_powerpc.deb 04-Mar-2010 08:17 12M
agda-stdlib_0.3-3_sparc.deb 13-Mar-2010 08:17 12M
agda-stdlib-doc_0.5-1_all.deb 24-May-2011 18:08 1.5M
agda-stdlib_0.5-1.diff.gz 24-May-2011 18:08 3.6K
agda-stdlib_0.5-1.dsc 24-May-2011 18:08 1.9K
agda-stdlib_0.5-1_all.deb 24-May-2011 18:08 15M
agda-stdlib_0.5.orig.tar.gz 24-May-2011 18:08 193K
agda-stdlib-doc_0.6~darcs20111129t1640-1_all.deb 30-Nov-2011 01:32 1.6M
agda-stdlib_0.6~darcs20111129t1640-1.debian.tar.gz 30-Nov-2011 01:32 3.9K
agda-stdlib_0.6~darcs20111129t1640-1.dsc 30-Nov-2011 01:32 2.1K
agda-stdlib_0.6~darcs20111129t1640-1_all.deb 30-Nov-2011 01:32 16M
agda-stdlib_0.6~darcs20111129t1640.orig.tar.bz2 30-Nov-2011 01:32 162K
agda-stdlib-doc_0.6-1_all.deb 31-Dec-2011 04:47 1.6M
agda-stdlib_0.6-1.debian.tar.gz 31-Dec-2011 04:47 4.0K
agda-stdlib_0.6-1.dsc 31-Dec-2011 04:47 2.0K
agda-stdlib_0.6-1_all.deb 31-Dec-2011 04:47 16M
agda-stdlib_0.6.orig.tar.gz 31-Dec-2011 04:47 211K
agda-stdlib-doc_0.6-2_all.deb 14-Mar-2012 17:47 1.6M
agda-stdlib_0.6-2.debian.tar.gz 14-Mar-2012 17:47 4.1K
agda-stdlib_0.6-2.dsc 14-Mar-2012 17:47 1.4K
agda-stdlib_0.6-2_all.deb 14-Mar-2012 17:47 16M
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80