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

../
agda-stdlib-doc_2.3-ok1_all.deb                    24-Jun-2026 20:50             3811822
agda-stdlib_2.3-ok1.debian.tar.xz                  06-May-2026 10:41                3376
agda-stdlib_2.3-ok1.dsc                            06-May-2026 10:41                2008
agda-stdlib_2.3-ok1_all.deb                        24-Jun-2026 20:50           156600362
agda-stdlib_2.3.orig.tar.gz                        06-May-2026 10:41             1267194