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.12-2build1_all.deb               10-Aug-2016 00:15      1M
agda-stdlib-doc_0.12-2build2_all.deb               16-Nov-2016 01:08      1M
agda-stdlib-doc_0.13-1_all.deb                     10-Jul-2017 20:28      1M
agda-stdlib-doc_0.14-1_all.deb                     27-Nov-2017 02:04      1M
agda-stdlib-doc_0.6-2_all.deb                      19-Mar-2012 06:03      2M
agda-stdlib-doc_0.7-2_all.deb                      28-May-2013 07:33      2M
agda-stdlib-doc_0.8-2_all.deb                      13-Aug-2014 01:08      1M
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.12-2build1.debian.tar.xz             09-Aug-2016 23:30    5016
agda-stdlib_0.12-2build1.dsc                       09-Aug-2016 23:30    2179
agda-stdlib_0.12-2build1_all.deb                   10-Aug-2016 00:15     16M
agda-stdlib_0.12-2build2.debian.tar.xz             16-Nov-2016 01:08    5048
agda-stdlib_0.12-2build2.dsc                       16-Nov-2016 01:08    2179
agda-stdlib_0.12-2build2_all.deb                   16-Nov-2016 01:08     15M
agda-stdlib_0.12.orig.tar.gz                       21-Jun-2016 07:40    248K
agda-stdlib_0.13-1.debian.tar.xz                   07-Jul-2017 13:08    5040
agda-stdlib_0.13-1.dsc                             07-Jul-2017 13:08    2091
agda-stdlib_0.13-1_all.deb                         10-Jul-2017 20:28     16M
agda-stdlib_0.13.orig.tar.gz                       07-Jul-2017 13:08    258K
agda-stdlib_0.14-1.debian.tar.xz                   27-Nov-2017 01:08    5188
agda-stdlib_0.14-1.dsc                             27-Nov-2017 01:08    2100
agda-stdlib_0.14-1_all.deb                         27-Nov-2017 02:04     17M
agda-stdlib_0.14.orig.tar.gz                       26-Nov-2017 19:14    279K
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-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_0.8-2.debian.tar.xz                    13-Aug-2014 00:38    4524
agda-stdlib_0.8-2.dsc                              13-Aug-2014 00:38    2094
agda-stdlib_0.8-2_all.deb                          13-Aug-2014 01:08     22M
agda-stdlib_0.8.orig.tar.gz                        06-Aug-2014 01:34    240K