Index of /pool/main/a/agda-stdlib/

../
agda-stdlib-doc_0.17-1_all.deb                     08-Apr-2019 11:45             1393968
agda-stdlib-doc_1.7.1-1_all.deb                    16-Feb-2023 22:32             3039368
agda-stdlib_0.17-1.debian.tar.xz                   08-Apr-2019 11:14                5312
agda-stdlib_0.17-1.dsc                             08-Apr-2019 11:14                2234
agda-stdlib_0.17-1_all.deb                         08-Apr-2019 09:48            33021876
agda-stdlib_0.17.orig.tar.gz                       08-Apr-2019 11:14              397328
agda-stdlib_1.7.1-1.debian.tar.xz                  16-Feb-2023 22:23                5664
agda-stdlib_1.7.1-1.dsc                            16-Feb-2023 22:23                2157
agda-stdlib_1.7.1-1_all.deb                        16-Feb-2023 22:23           100043028
agda-stdlib_1.7.1.orig.tar.gz                      16-Feb-2023 22:23              940131