Index of /kylinsoft/anything2.0/openkylin/pool/main/a/agda-stdlib/

../
agda-stdlib-doc_1.7.3-ok1_all.deb                  20-Jun-2024 05:49             3039164
agda-stdlib_1.7.3-ok1.debian.tar.xz                25-Mar-2024 18:05                3296
agda-stdlib_1.7.3-ok1.dsc                          25-Mar-2024 18:05                1986
agda-stdlib_1.7.3-ok1_all.deb                      20-Jun-2024 05:49           117844596
agda-stdlib_1.7.3.orig.tar.gz                      25-Mar-2024 18:05              942086