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

../
agda-stdlib-doc_0.17-1_all.deb                     22-Jul-2020 14:36             1393968
agda-stdlib_0.17-1_all.deb                         22-Jul-2020 15:03            33021876