Index of /ubuntu/pool/universe/a/agda-stdlib

Icon  Name                                  Last modified      Size  Description
[DIR] Parent Directory - [   ] agda-stdlib-doc_0.3-1ubuntu2_all.deb 16-Feb-2010 21:04 1.1M [   ] agda-stdlib-doc_0.5-1_all.deb 18-Jun-2011 01:05 1.5M [   ] agda-stdlib-doc_0.5-1~ubuntu1_all.deb 01-Mar-2011 09:04 1.5M [   ] agda-stdlib-doc_0.6-2_all.deb 19-Mar-2012 06:03 1.6M [   ] agda-stdlib_0.3-1ubuntu2.diff.gz 16-Feb-2010 21:04 3.6K [TXT] agda-stdlib_0.3-1ubuntu2.dsc 16-Feb-2010 21:04 1.3K [   ] agda-stdlib_0.3-1ubuntu2_amd64.deb 16-Feb-2010 22:10 11M [   ] agda-stdlib_0.3-1ubuntu2_i386.deb 16-Feb-2010 21:04 11M [   ] agda-stdlib_0.3.orig.tar.gz 14-Feb-2010 00:04 150K [   ] agda-stdlib_0.5-1.diff.gz 18-Jun-2011 01:05 3.6K [TXT] agda-stdlib_0.5-1.dsc 18-Jun-2011 01:05 1.9K [   ] agda-stdlib_0.5-1_all.deb 18-Jun-2011 01:05 15M [   ] agda-stdlib_0.5-1~ubuntu1.diff.gz 01-Mar-2011 09:04 3.7K [TXT] agda-stdlib_0.5-1~ubuntu1.dsc 01-Mar-2011 09:04 1.9K [   ] agda-stdlib_0.5-1~ubuntu1_all.deb 01-Mar-2011 09:04 15M [   ] agda-stdlib_0.5.orig.tar.gz 01-Mar-2011 09:04 193K [   ] agda-stdlib_0.6-2.debian.tar.gz 19-Mar-2012 05:33 4.1K [TXT] agda-stdlib_0.6-2.dsc 19-Mar-2012 05:33 1.4K [   ] agda-stdlib_0.6-2_all.deb 19-Mar-2012 06:03 16M [   ] agda-stdlib_0.6.orig.tar.gz 04-Jan-2012 09:04 211K
Microsoft-IIS/10.0 Server at ftp.tw.netbsd.org Port 80