Index of /debian/pool/non-free/a/agda-stdlib/

../
agda-stdlib-doc_0.12-2_all.deb                     08-Jan-2023 18:12             1275634
agda-stdlib-doc_0.17-1_all.deb                     08-Jan-2023 14:01             1393968
agda-stdlib_0.12-2_all.deb                         08-Jan-2023 17:47            17067322
agda-stdlib_0.17-1_all.deb                         08-Jan-2023 14:11            33021876