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

../
agda-stdlib-doc_0.11-1_all.deb                     05-Jan-2016 09:20      1M
agda-stdlib-doc_0.3-1ubuntu2_all.deb               16-Feb-2010 21:04      1M
agda-stdlib-doc_0.3-3fakesync_all.deb              26-May-2010 14:05      1M
agda-stdlib-doc_0.5-1_all.deb                      18-Jun-2011 01:05      1M
agda-stdlib-doc_0.5-1~ubuntu1_all.deb              01-Mar-2011 09:04      1M
agda-stdlib-doc_0.6-2_all.deb                      19-Mar-2012 06:03      2M
agda-stdlib-doc_0.7-1_all.deb                      11-Apr-2013 04:03      2M
agda-stdlib-doc_0.7-2_all.deb                      28-May-2013 07:33      2M
agda-stdlib-doc_1.1-1_all.deb                      06-Sep-2019 23:48      2M
agda-stdlib-doc_1.3-2_all.deb                      02-Aug-2020 13:43      2M
agda-stdlib_0.11-1.debian.tar.xz                   05-Jan-2016 07:25    4600
agda-stdlib_0.11-1.dsc                             05-Jan-2016 07:25    2105
agda-stdlib_0.11-1_all.deb                         05-Jan-2016 09:20     17M
agda-stdlib_0.11.orig.tar.gz                       05-Jan-2016 07:25    247K
agda-stdlib_0.3-1ubuntu2.diff.gz                   16-Feb-2010 21:04    3735
agda-stdlib_0.3-1ubuntu2.dsc                       16-Feb-2010 21:04    1289
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-3fakesync.diff.gz                  26-May-2010 06:04    3830
agda-stdlib_0.3-3fakesync.dsc                      26-May-2010 06:04    1308
agda-stdlib_0.3-3fakesync_amd64.deb                30-May-2010 02:04     11M
agda-stdlib_0.3-3fakesync_i386.deb                 26-May-2010 14:05     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    3647
agda-stdlib_0.5-1.dsc                              18-Jun-2011 01:05    1903
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    3786
agda-stdlib_0.5-1~ubuntu1.dsc                      01-Mar-2011 09:04    1937
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    4226
agda-stdlib_0.6-2.dsc                              19-Mar-2012 05:33    1437
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
agda-stdlib_0.7-1.debian.tar.gz                    11-Apr-2013 02:03    4431
agda-stdlib_0.7-1.dsc                              11-Apr-2013 02:03    2077
agda-stdlib_0.7-1_all.deb                          11-Apr-2013 04:03     17M
agda-stdlib_0.7-2.debian.tar.gz                    28-May-2013 07:33    4455
agda-stdlib_0.7-2.dsc                              28-May-2013 07:33    2077
agda-stdlib_0.7-2_all.deb                          28-May-2013 07:33     17M
agda-stdlib_0.7.orig.tar.gz                        11-Apr-2013 02:03    221K
agda-stdlib_1.1-1.debian.tar.xz                    06-Sep-2019 23:48    5528
agda-stdlib_1.1-1.dsc                              06-Sep-2019 23:48    2117
agda-stdlib_1.1-1_all.deb                          06-Sep-2019 23:48     45M
agda-stdlib_1.1.orig.tar.gz                        04-Sep-2019 21:38    557K
agda-stdlib_1.3-2.debian.tar.xz                    02-Aug-2020 13:13    5640
agda-stdlib_1.3-2.dsc                              02-Aug-2020 13:13    2113
agda-stdlib_1.3-2_all.deb                          02-Aug-2020 13:43     70M
agda-stdlib_1.3.orig.tar.gz                        02-Aug-2020 07:33    734K