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

../
agda-stdlib-doc_0.12-2_all.deb                     31-Oct-2025 17:19      1M
agda-stdlib-doc_0.17-1_all.deb                     31-Oct-2025 16:47      1M
agda-stdlib_0.12-2.debian.tar.xz                   31-Oct-2025 17:26    4996
agda-stdlib_0.12-2.dsc                             31-Oct-2025 17:26    2155
agda-stdlib_0.12-2_all.deb                         31-Oct-2025 17:28     16M
agda-stdlib_0.12.orig.tar.gz                       31-Oct-2025 17:26    248K
agda-stdlib_0.17-1.debian.tar.xz                   31-Oct-2025 16:36    5312
agda-stdlib_0.17-1.dsc                             31-Oct-2025 16:36    2234
agda-stdlib_0.17-1_all.deb                         31-Oct-2025 16:57     31M
agda-stdlib_0.17.orig.tar.gz                       31-Oct-2025 16:36    388K