Index of /repos/scibian10/pool/main/a/agda-stdlib/

../
agda-stdlib-doc_0.17-1_all.deb                     25-Jan-2023 14:42      1M
agda-stdlib_0.17-1_all.deb                         25-Jan-2023 14:42     31M