Index of /loongnix/20/pool/main/a/agda-stdlib/

../
agda-stdlib_0.17-1.debian.tar.xz                   21-Mar-2023 07:16                5312
agda-stdlib_0.17-1.dsc                             21-Mar-2023 07:16                2234
agda-stdlib_0.17.orig.tar.gz                       21-Mar-2023 07:16              397328