Index of /kylinsoft/anything/openkylin/pool/main/a/agda-stdlib/

../
agda-stdlib-doc_1.1-ok1_all.deb                    23-Jul-2022 02:40             1885078
agda-stdlib_1.1-ok1.debian.tar.xz                  23-Jul-2022 02:40                3304
agda-stdlib_1.1-ok1.dsc                            23-Jul-2022 02:40                1975
agda-stdlib_1.1-ok1_all.deb                        23-Jul-2022 02:40            48741288
agda-stdlib_1.1.orig.tar.gz                        23-Jul-2022 02:40              570106