Index of /nova/pool/extendido/a/agda-stdlib/

../
agda-stdlib-doc_0.14-1_all.deb                     11-Jun-2020 02:18             1069008
agda-stdlib-doc_1.1-1_all.deb                      21-Jun-2020 17:35             1906288
agda-stdlib-doc_1.3-2_all.deb                      30-Apr-2022 08:07             2447524
agda-stdlib_0.14-1.debian.tar.xz                   11-Jun-2020 01:10                5188
agda-stdlib_0.14-1.dsc                             11-Jun-2020 01:10                2100
agda-stdlib_0.14-1_all.deb                         11-Jun-2020 01:35            18159516
agda-stdlib_0.14.orig.tar.gz                       11-Jun-2020 01:10              285379
agda-stdlib_1.1-1.debian.tar.xz                    22-Jun-2020 07:28                5528
agda-stdlib_1.1-1.dsc                              22-Jun-2020 07:28                2117
agda-stdlib_1.1-1_all.deb                          22-Jun-2020 07:59            47388280
agda-stdlib_1.1.orig.tar.gz                        22-Jun-2020 07:28              570106
agda-stdlib_1.3-2.debian.tar.xz                    30-Apr-2022 17:04                5640
agda-stdlib_1.3-2.dsc                              30-Apr-2022 17:04                2113
agda-stdlib_1.3-2_all.deb                          30-Apr-2022 08:26            73224528
agda-stdlib_1.3.orig.tar.gz                        30-Apr-2022 17:04              751412