Index of /main/a/agda-stdlib/

../
agda-stdlib_0.11-1.debian.tar.xz                   05-Jan-2016 05:47                4600
agda-stdlib_0.11-1.dsc                             05-Jan-2016 05:47                2105
agda-stdlib_0.11.orig.tar.gz                       05-Jan-2016 05:47              253251
agda-stdlib_0.12-1.debian.tar.xz                   20-Jun-2016 16:41                4784
agda-stdlib_0.12-1.dsc                             20-Jun-2016 16:41                2155
agda-stdlib_0.12-2.debian.tar.xz                   26-Jun-2016 23:48                4996
agda-stdlib_0.12-2.dsc                             26-Jun-2016 23:48                2155
agda-stdlib_0.12.orig.tar.gz                       20-Jun-2016 16:41              254024
agda-stdlib_0.13-1.debian.tar.xz                   08-Jul-2017 09:04                5040
agda-stdlib_0.13-1.dsc                             08-Jul-2017 09:04                2091
agda-stdlib_0.13.orig.tar.gz                       08-Jul-2017 09:04              264701
agda-stdlib_0.14-1.debian.tar.xz                   26-Nov-2017 17:04                5188
agda-stdlib_0.14-1.dsc                             26-Nov-2017 17:04                2100
agda-stdlib_0.14.orig.tar.gz                       26-Nov-2017 17:04              285379
agda-stdlib_0.17-1.debian.tar.xz                   24-Nov-2018 05:26                5312
agda-stdlib_0.17-1.dsc                             24-Nov-2018 05:26                2234
agda-stdlib_0.17.orig.tar.gz                       24-Nov-2018 05:26              397328
agda-stdlib_0.3-3.diff.gz                          16-Aug-2012 22:43                3774
agda-stdlib_0.3-3.dsc                              16-Aug-2012 22:43                1276
agda-stdlib_0.3.orig.tar.gz                        16-Aug-2012 22:43              150153
agda-stdlib_0.6-2.debian.tar.gz                    18-Apr-2012 23:32                4226
agda-stdlib_0.6-2.dsc                              18-Apr-2012 23:32                1437
agda-stdlib_0.6.orig.tar.gz                        18-Apr-2012 23:32              216273
agda-stdlib_0.7-1.debian.tar.gz                    10-Apr-2013 17:18                4431
agda-stdlib_0.7-1.dsc                              10-Apr-2013 17:18                2077
agda-stdlib_0.7-2.debian.tar.gz                    27-May-2013 18:46                4455
agda-stdlib_0.7-2.dsc                              27-May-2013 18:46                2077
agda-stdlib_0.7.orig.tar.gz                        10-Apr-2013 11:24              226400
agda-stdlib_0.8-1.debian.tar.xz                    06-Aug-2014 11:29                4468
agda-stdlib_0.8-1.dsc                              06-Aug-2014 11:29                2072
agda-stdlib_0.8-2.debian.tar.xz                    12-Aug-2014 09:40                4524
agda-stdlib_0.8-2.dsc                              12-Aug-2014 09:40                2094
agda-stdlib_0.8.orig.tar.gz                        05-Aug-2014 09:28              246158
agda-stdlib_0.9-1.debian.tar.xz                    20-May-2015 11:53                4564
agda-stdlib_0.9-1.dsc                              20-May-2015 11:53                2098
agda-stdlib_0.9.orig.tar.gz                        20-May-2015 11:53              248895
agda-stdlib_1.1-1.debian.tar.xz                    04-Sep-2019 23:48                5528
agda-stdlib_1.1-1.dsc                              04-Sep-2019 23:48                2117
agda-stdlib_1.1.orig.tar.gz                        04-Sep-2019 23:48              570106
agda-stdlib_1.3-2.debian.tar.xz                    01-Aug-2020 12:54                5640
agda-stdlib_1.3-2.dsc                              01-Aug-2020 12:54                2113
agda-stdlib_1.3.orig.tar.gz                        31-Jul-2020 11:50              751412