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

../
agda-stdlib-doc_0.3-1ubuntu2_all.deb               16-Feb-2010 13:04             1173214
agda-stdlib-doc_0.5-1_all.deb                      17-Jun-2011 17:05             1562122
agda-stdlib-doc_0.5-1~ubuntu1_all.deb              01-Mar-2011 01:04             1569256
agda-stdlib-doc_0.6-2_all.deb                      18-Mar-2012 22:03             1696256
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            12047060
agda-stdlib_0.3-1ubuntu2_i386.deb                  16-Feb-2010 13:04            12047080
agda-stdlib_0.3.orig.tar.gz                        13-Feb-2010 16:04              153277
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            16056728
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            16079118
agda-stdlib_0.5.orig.tar.gz                        01-Mar-2011 01:04              198083
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            16955470
agda-stdlib_0.6.orig.tar.gz                        04-Jan-2012 01:04              216273