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

../
agda-stdlib-doc_0.12-2_all.deb                     25-Aug-2021 03:54      1M
agda-stdlib-doc_0.17-1_all.deb                     24-Aug-2021 23:00      1M
agda-stdlib-doc_1.3-2_all.deb                      24-Aug-2021 16:48      2M
agda-stdlib-doc_1.7.1-1_all.deb                    28-Apr-2023 19:08      3M
agda-stdlib-doc_2.1-4_all.deb                      13-Aug-2025 04:31      4M
agda-stdlib_0.12-2.debian.tar.xz                   25-Aug-2021 04:01    4996
agda-stdlib_0.12-2.dsc                             25-Aug-2021 04:01    2155
agda-stdlib_0.12-2_all.deb                         25-Aug-2021 04:05     16M
agda-stdlib_0.12.orig.tar.gz                       25-Aug-2021 04:01    248K
agda-stdlib_0.17-1.debian.tar.xz                   25-Aug-2021 02:22    5312
agda-stdlib_0.17-1.dsc                             25-Aug-2021 02:22    2234
agda-stdlib_0.17-1_all.deb                         24-Aug-2021 22:53     31M
agda-stdlib_0.17.orig.tar.gz                       25-Aug-2021 02:22    388K
agda-stdlib_1.3-2.debian.tar.xz                    24-Aug-2021 16:12    5640
agda-stdlib_1.3-2.dsc                              24-Aug-2021 16:12    2113
agda-stdlib_1.3-2_all.deb                          24-Aug-2021 21:54     70M
agda-stdlib_1.3.orig.tar.gz                        24-Aug-2021 16:12    734K
agda-stdlib_1.7.1-1.debian.tar.xz                  28-Apr-2023 18:18    5664
agda-stdlib_1.7.1-1.dsc                            28-Apr-2023 18:18    2157
agda-stdlib_1.7.1-1_all.deb                        28-Apr-2023 17:52     95M
agda-stdlib_1.7.1.orig.tar.gz                      28-Apr-2023 18:18    918K
agda-stdlib_2.1-4.debian.tar.xz                    13-Aug-2025 03:35    6060
agda-stdlib_2.1-4.dsc                              13-Aug-2025 03:35    2224
agda-stdlib_2.1-4_all.deb                          13-Aug-2025 04:51    137M
agda-stdlib_2.1.orig.tar.gz                        13-Aug-2025 03:35      1M