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

../
agda-stdlib-doc_0.17-1_all.deb                     22-Jan-2026 17:23      1M
agda-stdlib-doc_1.3-2_all.deb                      21-Jan-2026 10:37      2M
agda-stdlib-doc_1.7.1-1_all.deb                    20-Jan-2026 00:20      3M
agda-stdlib-doc_2.1-4_all.deb                      18-Jan-2026 06:13      4M
agda-stdlib_0.17-1.debian.tar.xz                   22-Jan-2026 17:23    5312
agda-stdlib_0.17-1.dsc                             22-Jan-2026 17:23    2234
agda-stdlib_0.17-1_all.deb                         22-Jan-2026 17:23     31M
agda-stdlib_0.17.orig.tar.gz                       22-Jan-2026 17:23    388K
agda-stdlib_1.3-2.debian.tar.xz                    21-Jan-2026 10:37    5640
agda-stdlib_1.3-2.dsc                              21-Jan-2026 10:37    2113
agda-stdlib_1.3-2_all.deb                          21-Jan-2026 10:37     70M
agda-stdlib_1.3.orig.tar.gz                        21-Jan-2026 10:37    734K
agda-stdlib_1.7.1-1.debian.tar.xz                  20-Jan-2026 00:20    5664
agda-stdlib_1.7.1-1.dsc                            20-Jan-2026 00:20    2157
agda-stdlib_1.7.1-1_all.deb                        20-Jan-2026 00:20     95M
agda-stdlib_1.7.1.orig.tar.gz                      20-Jan-2026 00:20    918K
agda-stdlib_2.1-4.debian.tar.xz                    18-Jan-2026 06:13    6060
agda-stdlib_2.1-4.dsc                              18-Jan-2026 06:13    2224
agda-stdlib_2.1-4_all.deb                          18-Jan-2026 06:13    137M
agda-stdlib_2.1.orig.tar.gz                        18-Jan-2026 06:13      1M