Index of /packages/a/agda-stdlib/

../
agda-stdlib-2.4-1-x86_64.pkg.tar.zst               13-Aug-2026 09:37    153M
agda-stdlib-2.4-1-x86_64.pkg.tar.zst.sig           13-Aug-2026 09:37     566