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

Icon  Name                                               Last modified      Size  Description
[DIR] 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 [TXT] 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 [TXT] 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 [TXT] 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 [TXT] 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 [TXT] 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