Index of /loongson64/pool/main/a/agda-stdlib/

../
agda-stdlib-doc_0.12-2_all.deb                     24-Apr-2019 17:08      1M
agda-stdlib_0.12-2.debian.tar.xz                   24-Apr-2019 17:08    4996
agda-stdlib_0.12-2.dsc                             24-Apr-2019 17:08    2155
agda-stdlib_0.12-2_all.deb                         24-Apr-2019 17:08     16M
agda-stdlib_0.12.orig.tar.gz                       24-Apr-2019 17:08    248K