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

../
agda-stdlib-doc_0.12-2_all.deb                     02-Jul-2026 16:02      1M
agda-stdlib-doc_0.17-1_all.deb                     02-Jul-2026 10:54      1M
agda-stdlib_0.12-2.debian.tar.xz                   02-Jul-2026 15:29    4996
agda-stdlib_0.12-2.dsc                             02-Jul-2026 15:29    2155
agda-stdlib_0.12-2_all.deb                         02-Jul-2026 15:35     16M
agda-stdlib_0.12.orig.tar.gz                       02-Jul-2026 15:29    248K
agda-stdlib_0.17-1.debian.tar.xz                   02-Jul-2026 11:31    5312
agda-stdlib_0.17-1.dsc                             02-Jul-2026 11:31    2234
agda-stdlib_0.17-1_all.deb                         02-Jul-2026 11:54     31M
agda-stdlib_0.17.orig.tar.gz                       02-Jul-2026 11:31    388K