Index of /ubuntu-old/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-doc_0.7-1_all.deb                      10-Apr-2013 20:03      2M
agda-stdlib-doc_0.7-2_all.deb                      27-May-2013 23:33      2M
agda-stdlib-doc_0.8-2_all.deb                      12-Aug-2014 17:08      1M
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_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_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
agda-stdlib_0.7-1.debian.tar.gz                    10-Apr-2013 18:03    4431
agda-stdlib_0.7-1.dsc                              10-Apr-2013 18:03    2077
agda-stdlib_0.7-1_all.deb                          10-Apr-2013 20:03     17M
agda-stdlib_0.7-2.debian.tar.gz                    27-May-2013 23:33    4455
agda-stdlib_0.7-2.dsc                              27-May-2013 23:33    2077
agda-stdlib_0.7-2_all.deb                          27-May-2013 23:33     17M
agda-stdlib_0.7.orig.tar.gz                        10-Apr-2013 18:03    221K
agda-stdlib_0.8-2.debian.tar.xz                    12-Aug-2014 16:38    4524
agda-stdlib_0.8-2.dsc                              12-Aug-2014 16:38    2094
agda-stdlib_0.8-2_all.deb                          12-Aug-2014 17:08     22M
agda-stdlib_0.8.orig.tar.gz                        05-Aug-2014 17:34    240K