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

../
agda-stdlib-doc_0.3-1ubuntu2_all.deb               16-Feb-2010 13:04      1M
agda-stdlib-doc_0.3-3fakesync_all.deb              26-May-2010 06:05      1M
agda-stdlib-doc_0.5-1_all.deb                      17-Jun-2011 17:05      1M
agda-stdlib-doc_0.5-1~ubuntu1_all.deb              01-Mar-2011 01:04      1M
agda-stdlib-doc_0.6-2_all.deb                      18-Mar-2012 22:03      2M
agda-stdlib_0.3-1ubuntu2.diff.gz                   16-Feb-2010 13:04    3735
agda-stdlib_0.3-1ubuntu2.dsc                       16-Feb-2010 13:04    1289
agda-stdlib_0.3-1ubuntu2_amd64.deb                 16-Feb-2010 14:10     11M
agda-stdlib_0.3-1ubuntu2_i386.deb                  16-Feb-2010 13:04     11M
agda-stdlib_0.3-3fakesync.diff.gz                  25-May-2010 22:04    3830
agda-stdlib_0.3-3fakesync.dsc                      25-May-2010 22:04    1308
agda-stdlib_0.3-3fakesync_amd64.deb                29-May-2010 18:04     11M
agda-stdlib_0.3-3fakesync_i386.deb                 26-May-2010 06:05     11M
agda-stdlib_0.3.orig.tar.gz                        13-Feb-2010 16:04    150K
agda-stdlib_0.5-1.diff.gz                          17-Jun-2011 17:05    3647
agda-stdlib_0.5-1.dsc                              17-Jun-2011 17:05    1903
agda-stdlib_0.5-1_all.deb                          17-Jun-2011 17:05     15M
agda-stdlib_0.5-1~ubuntu1.diff.gz                  01-Mar-2011 01:04    3786
agda-stdlib_0.5-1~ubuntu1.dsc                      01-Mar-2011 01:04    1937
agda-stdlib_0.5-1~ubuntu1_all.deb                  01-Mar-2011 01:04     15M
agda-stdlib_0.5.orig.tar.gz                        01-Mar-2011 01:04    193K
agda-stdlib_0.6-2.debian.tar.gz                    18-Mar-2012 21:33    4226
agda-stdlib_0.6-2.dsc                              18-Mar-2012 21:33    1437
agda-stdlib_0.6-2_all.deb                          18-Mar-2012 22:03     16M
agda-stdlib_0.6.orig.tar.gz                        04-Jan-2012 01:04    211K