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

../
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.orig.tar.gz                        06-May-2026 10:41             1267194